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