How do you simplify arccos(sin(pi/8))?