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