t0 = Y2*ZZ1
t1 = Y1*ZZ2
A = t1-t0
AA = A^2
X2Z1 = X2*Z1
t2 = X1*Z2
B = t2-X2Z1
C = B*Z2
E = C*Z1
EE = E^2
F = E*C
D = F*X1
t3 = E*B
t4 = X2Z1*t3
t5 = a*EE
t6 = AA-t5
t7 = t6-D
U = t7-t4
X3 = 2*U
t8 = E+A
t9 = t8^2
t10 = 2*F
t11 = t9-EE
t12 = t11-AA
t13 = D-U
t14 = t10^2
t15 = Y1*t14
t16 = t12*t13
t17 = 2*t16
Y3 = t17-t15
Z3 = 2*EE
ZZ3 = Z3^2