How do you evaluate sin1(sin(5π6))?