Definition:Real Hyperbolic Cotangent