Definition:Real Hyperbolic Arctangent