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