A = X1*Z2
B = X2*Z1
C = A^2
D = B^2
E = A+B
F = C+D
G = Y1*ZZ2
H = Y2*ZZ1
I = G+H
J = I*E
t0 = Z1*Z2
Z3 = F*t0
t1 = H+D
t2 = C+G
t3 = B*t2
t4 = A*t1
X3 = t4+t3
t5 = F*G
t6 = A*J
t7 = t6+t5
t8 = J+Z3
t9 = t8*X3
t10 = t7*F
Y3 = t10+t9
ZZ3 = Z3^2
XZ3 = X3*Z3