Inverse trignometric functions
Formula proved