deriv arctan(x)-1/2*ln(1+x^2)