t0 = Z1*Y2
t1 = Y1*Z2
A = t1+t0
t2 = Z1*X2
t3 = X1*Z2
B = t3+t2
C = B^2
D = Z1*Z2
t4 = A^2
t5 = a2*C
t6 = A*B
t7 = t4+t6
t8 = t7+t5
t9 = B*C
t10 = t8*D
E = t10+t9
X3 = B*E
t11 = Y1*B
t12 = A*X1
t13 = t12+t11
t14 = A+B
t15 = t14*E
t16 = t13*Z2
t17 = C*t16
Y3 = t17+t15
t18 = B^3
Z3 = t18*D