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