Integral of arccos(x)