A = X2*ZZ1
t0 = ZZ1*Z1
B = Y2*t0
C = X1-A
D = Y1-B
Z3 = Z1*C
E = Z3^2
F = C^2
G = C*F
H = A*F
t1 = D^2
t2 = 2*H
t3 = a3*E
t4 = t1-G
t5 = t4-t3
X3 = t5-t2
t6 = H-X3
t7 = B*G
t8 = D*t6
Y3 = t8-t7
ZZ3 = E