How do you evaluate sin^-1(cos(pi/3))?