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