Consistency of Algebraic Formulas with the Chord-and-Tangent Law on a Short Weierstrass Cubic