integrate_0^+1 arcsin(x)