How do you evaluate #arcsin(cos(pi/3))#?