Definition:Complex Inverse Hyperbolic Cotangent