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