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