Addition formulas for elliptic curves