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