integral of abs(sin(x))