XX = X1^2 t0 = Y1^2 A = 2*t0 AA = A^2 U = 2*AA t1 = X1+A t2 = t1^2 t3 = t2-XX S = t3-AA t4 = 3*XX M = t4+T1 t5 = M^2 t6 = 2*S X3 = t5-t6 t7 = S-X3 t8 = M*t7 Y3 = t8-U t9 = Y1*Z1 Z3 = 2*t9 t10 = U*T1 T3 = 2*t10