A = X1^2 B = A+Y1 t0 = B^2 t1 = a2*A t2 = B*X1 t3 = t0+t2 E = t3+t1 X3 = X1*E t4 = B+X1 t5 = A^2 t6 = t5*X1 t7 = t4*E Y3 = t7+t6 Z3 = X1*A