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