Simplify arcsin(cos(-pi/4))