Definition:Real Inverse Hyperbolic Cotangent