U1 = X1*Z2 U2 = X2*Z1 S1 = Y1*Z2 S2 = Y2*Z1 W = Z1*Z2 P = U2-U1 R = S2-S1 t0 = U1+U2 t1 = P^2 t2 = R^2 t3 = W*t2 t4 = t0*t1 t5 = t4+t3 error: not sure how to handle P*(-t5) t6 = U1+U2 t7 = R^2 t8 = P^2 t9 = t6*t8 t10 = 3*t9 t11 = W*t7 t12 = 2*t11 t13 = t12+t10 t14 = S1+S2 error: not sure how to handle (R*(-t13)-P^3*t14)/2 t15 = P^3 Z3 = W*t15