Definition:Real Hyperbolic Arccotangent