Qual é a antiderivada de (1) / (1 + x ^ 2) ?

Qual é a antiderivada de (1) / (1 + x ^ 2) ? A antiderivada de 1/(1+x^2) é a integral int 1/(1+x^2)dx que é equivalente a int 1/(1+x^2)dx=arctanx+C onde arctanx é o inverso da função trigonométrica tanx e C é a constante de integração.