How do you evaluate sin(sin^-1(1/2))?