integrate arccos(x)/(1+x^2) dx