Y1Z2 = Y1*Z2 X1Z2 = X1*Z2 Z1Z2 = Z1*Z2 t0 = Y2*Z1 u = t0-Y1Z2 uu = u^2 t1 = X2*Z1 v = t1-X1Z2 vv = v^2 vvv = v*vv R = vv*X1Z2 t2 = 2*R t3 = uu*Z1Z2 t4 = t3-vvv A = t4-t2 X3 = v*A t5 = R-A t6 = vvv*Y1Z2 t7 = u*t5 Y3 = t7-t6 Z3 = vvv*Z1Z2