Definition:Complex Inverse Hyperbolic Tangent