How do you solve the inverse trig function sin(sin1(13))?