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