integrate x=0 to pi/2 x*arccos(x^2) dx