integrate arccos(sin( x)) dx from x=0 to pi/2