ZZ1 = Z1^2 ZZZ1 = Z1*ZZ1 ZZ2 = Z2^2 ZZZ2 = Z2*ZZ2 A = X1*ZZ2 t0 = X2*ZZ1 B = t0-A c = Y1*ZZZ2 t1 = Y2*ZZZ1 d = t1-c e = B^2 f = B*e g = A*e h = Z1*Z2 t2 = 2*g f2g = t2+f t3 = d^2 X3 = t3-f2g Z3 = B*h gx = g-X3 t4 = c*f t5 = d*gx Y3 = t5-t4