How do you evaluate sin1(sin(π7))?