XX = X1^2 YY = Y1^2 YYYY = YY^2 t0 = X1+YY t1 = t0^2 t2 = t1-XX t3 = t2-YYYY S = 2*t3 t4 = 3*XX M = t4+a t5 = M^2 t6 = 2*S T = t5-t6 X3 = T t7 = S-T t8 = 8*YYYY t9 = M*t7 Y3 = t9-t8 Z3 = 2*Y1