\int \tan^{-1}