integral from x=0 to x= sqrt(3) of arctan(x)/(x^2 + 9)