Equivalence of Definitions of Hyperbolic Tangent