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