The antiderivative of 1 over x squared plus 1 (formula with example)