Inverse trigonometric functions/Derivative/Fact