How do you simplify sin1(0.5)?