f(x) = atan x − 1/2 ln(1 + x^2)