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