derive 1/2 *(atan(1/(1+x^2)))