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