Definition:Inverse Hyperbolic Cotangent