antiderivative dx/(x^2 + a^2)