How do you find the exact value of sin1(sin(5π8))?