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.