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