Berechne (d)/(dx) [xarctan x - (1)/(2)ln(1+x^2)]