Definition:Complex Inverse Cosine