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