Definition:Complex Inverse Hyperbolic Cosine