integrate_0^+1 pi/2 - integrate_0^+1 arcsin(x)