∫ (2 arctan(a t))/(1 + (t^2)) dt