Let's integrate:
The denominator is strictly positive on ℝ. Let , so
The quotient rule and the derivative of atan give = : an antiderivative of is
Apply the factor , then substitute back:
▶Indefinite integrals are defined up to an additive constant C, so this yields: