Definition:Complex Inverse Cotangent