Definition:Complex Inverse Sine