O1 = Z1^2
O2 = Z2^2
A = X1*O2
B = X2*O1
t0 = O2*Z2
C = Y1*t0
t1 = O1*Z1
D = Y2*t1
E = A+B
F = C+D
G = E*Z1
t2 = G*Y2
t3 = F*X2
H = t3+t2
Z3 = G*Z2
I = F+Z3
t4 = Z3^2
t5 = E^2
t6 = E*t5
t7 = F*I
t8 = a2*t4
t9 = t8+t7
X3 = t9+t6
t10 = G^2
t11 = t10*H
t12 = I*X3
Y3 = t12+t11