t0 = Y1*Z2 t1 = Y2*Z1 u = t1-t0 t2 = X1*Z2 t3 = X2*Z1 v = t3-t2 t4 = u^2 t5 = v^3 t6 = v^2 t7 = X1*Z2 t8 = t6*t7 t9 = 2*t8 t10 = Z1*Z2 t11 = t4*t10 t12 = t11-t5 A = t12-t9 X3 = v*A t13 = v^2 t14 = X1*Z2 t15 = t13*t14 t16 = t15-A t17 = v^3 t18 = Y1*Z2 t19 = t17*t18 t20 = u*t16 Y3 = t20-t19 t21 = v^3 t22 = Z1*Z2 Z3 = t21*t22