хмм смотрю две таблички интегралов и производных

В производных вижу (arcctgx)' = -1/(1+x^2) но на сколько понял это не то