Double Angle Formulas/Hyperbolic Tangent/Proof 1