Derivative of inverse tangent