Y1Z2 = Y1*Z2
X1Z2 = X1*Z2
t0 = Z1*Y2
A = Y1Z2+t0
t1 = Z1*X2
B = X1Z2+t1
AB = A+B
C = B^2
D = Z1*Z2
E = B*C
t2 = a2*C
t3 = A*AB
t4 = t3+t2
t5 = t4*D
F = t5+E
X3 = B*F
t6 = B*Y1Z2
t7 = A*X1Z2
t8 = t7+t6
t9 = AB*F
t10 = C*t8
Y3 = t10+t9
Z3 = E*D