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