Tangent Formula for Point Doubling on a Weierstrass Elliptic Curve