Definition:Real Area Hyperbolic Cotangent