How do you evaluate #Sin^-1(cos(pi/4))#?