D[ArcTan[x]]

Input

(dtan^(-1)(x))/(dx)

Result

1/(x^2 + 1)

Derivative

d/dx(tan^(-1)(x)) = 1/(x^2 + 1)