Rational Addition Formulas for Elliptic Curves in Short Weierstrass Form