A = Y1-Y2 B = X1-X2 C = B Z3 = C^2 D = X1*Z3 E = A^2 t0 = B*C F = X2*t0 t1 = a*Z3 t2 = E-t1 t3 = t2-D X3 = t3-F G = Z3^2 H = A*C t4 = D-X3 t5 = Y1*G t6 = H*t4 Y3 = t6-t5 ZZ3 = G