integral of 1 / (t^2 + 1)