Chord Formula for Adding Distinct Points on an Elliptic Curve