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