Affine Addition Formula for Distinct Points on a Short Weierstrass Curve