t0 = X1*ZZ2
t1 = X2*ZZ1
A = t1-t0
t2 = Z2*ZZ2
t3 = Y1*t2
t4 = Z1*ZZ1
t5 = Y2*t4
B = t5-t3
C = Z2*A
CC = C^2
D = X1*CC
Z3 = Z1*C
E = Z3^2
t6 = B^2
t7 = A^2
t8 = 2*D
t9 = a3*E
t10 = A*t7
t11 = t6-t10
t12 = t11-t9
X3 = t12-t8
t13 = D-X3
t14 = C*CC
t15 = Y1*t14
t16 = B*t13
Y3 = t16-t15
ZZ3 = E