How do you simplify sin^-1(0.5)?