t0 = Z1^2 t1 = Z2^2 t2 = X1*t1 t3 = X2*t0 A = t3-t2 t4 = Z1^3 t5 = Z2^3 t6 = Y1*t5 t7 = Y2*t4 B = t7-t6 t8 = B^2 t9 = A^3 t10 = Z1^2 t11 = Z2^2 t12 = A^2 t13 = Z2^2 t14 = A^2 t15 = t14*X1 t16 = 2*t15 t17 = t13*t16 t18 = a*t12 t19 = 3*t18 t20 = t11*t19 t21 = t10*t20 t22 = t8-t9 t23 = t22-t21 X3 = t23-t17 t24 = Z2^2 t25 = A^2 t26 = t25*X1 t27 = t24*t26 t28 = t27-X3 t29 = Z2^3 t30 = A^3 t31 = t30*Y1 t32 = t29*t31 t33 = B*t28 Y3 = t33-t32 t34 = Z2*A Z3 = Z1*t34 ZZ3 = Z3^2