Definition:Real Hyperbolic Tangent