How to simplify #sin(sec^(-1)(x))# ?