source 1987 Montgomery "Speeding the Pollard and elliptic curve methods of factorization", page 261, third display
compute X4 = Z1(X2 X3-Z2 Z3)^2
compute Z4 = X1(X2 Z3-Z2 X3)^2
