A = X1^2 t0 = Y1*Z1 B = A+t0 C = X1*Z1 BC = B+C D = C^2 t1 = a2*D t2 = B*BC E = t2+t1 X3 = C*E t3 = A^2 t4 = t3*C t5 = BC*E Y3 = t5+t4 Z3 = C*D