How do you find the exact value of sin(sin1(13))?