How do you find the value of #arcsin(cos(pi/3))#?