C = X1-X2
t0 = Y1-Y2
D = 2*t0
F = C^2
F4 = 4*F
Z3 = 2*C
G = C*F4
H = X2*F4
t1 = D^2
t2 = a3*F4
t3 = 2*H
t4 = t1-G
t5 = t4-t3
X3 = t5-t2
t6 = H-X3
t7 = Y2*G
t8 = 2*t7
t9 = D*t6
Y3 = t9-t8
ZZ3 = F4