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