Integrand size = 14, antiderivative size = 121 \[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\text {arcsinh}(x)-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2+i \arctan (x) \operatorname {PolyLog}\left (2,-i e^{i \arctan (x)}\right )-i \arctan (x) \operatorname {PolyLog}\left (2,i e^{i \arctan (x)}\right )-\operatorname {PolyLog}\left (3,-i e^{i \arctan (x)}\right )+\operatorname {PolyLog}\left (3,i e^{i \arctan (x)}\right ) \]
[Out]
Time = 0.08 (sec) , antiderivative size = 121, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {5000, 5008, 4266, 2611, 2320, 6724, 221} \[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\text {arcsinh}(x)+i \arctan (x) \operatorname {PolyLog}\left (2,-i e^{i \arctan (x)}\right )-i \arctan (x) \operatorname {PolyLog}\left (2,i e^{i \arctan (x)}\right )-\operatorname {PolyLog}\left (3,-i e^{i \arctan (x)}\right )+\operatorname {PolyLog}\left (3,i e^{i \arctan (x)}\right )+\frac {1}{2} x \sqrt {x^2+1} \arctan (x)^2-\sqrt {x^2+1} \arctan (x)-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2 \]
[In]
[Out]
Rule 221
Rule 2320
Rule 2611
Rule 4266
Rule 5000
Rule 5008
Rule 6724
Rubi steps \begin{align*} \text {integral}& = -\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2+\frac {1}{2} \int \frac {\arctan (x)^2}{\sqrt {1+x^2}} \, dx+\int \frac {1}{\sqrt {1+x^2}} \, dx \\ & = \text {arcsinh}(x)-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2+\frac {1}{2} \text {Subst}\left (\int x^2 \sec (x) \, dx,x,\arctan (x)\right ) \\ & = \text {arcsinh}(x)-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2-\text {Subst}\left (\int x \log \left (1-i e^{i x}\right ) \, dx,x,\arctan (x)\right )+\text {Subst}\left (\int x \log \left (1+i e^{i x}\right ) \, dx,x,\arctan (x)\right ) \\ & = \text {arcsinh}(x)-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2+i \arctan (x) \operatorname {PolyLog}\left (2,-i e^{i \arctan (x)}\right )-i \arctan (x) \operatorname {PolyLog}\left (2,i e^{i \arctan (x)}\right )-i \text {Subst}\left (\int \operatorname {PolyLog}\left (2,-i e^{i x}\right ) \, dx,x,\arctan (x)\right )+i \text {Subst}\left (\int \operatorname {PolyLog}\left (2,i e^{i x}\right ) \, dx,x,\arctan (x)\right ) \\ & = \text {arcsinh}(x)-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2+i \arctan (x) \operatorname {PolyLog}\left (2,-i e^{i \arctan (x)}\right )-i \arctan (x) \operatorname {PolyLog}\left (2,i e^{i \arctan (x)}\right )-\text {Subst}\left (\int \frac {\operatorname {PolyLog}(2,-i x)}{x} \, dx,x,e^{i \arctan (x)}\right )+\text {Subst}\left (\int \frac {\operatorname {PolyLog}(2,i x)}{x} \, dx,x,e^{i \arctan (x)}\right ) \\ & = \text {arcsinh}(x)-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2+i \arctan (x) \operatorname {PolyLog}\left (2,-i e^{i \arctan (x)}\right )-i \arctan (x) \operatorname {PolyLog}\left (2,i e^{i \arctan (x)}\right )-\operatorname {PolyLog}\left (3,-i e^{i \arctan (x)}\right )+\operatorname {PolyLog}\left (3,i e^{i \arctan (x)}\right ) \\ \end{align*}
Time = 0.15 (sec) , antiderivative size = 131, normalized size of antiderivative = 1.08 \[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=-\sqrt {1+x^2} \arctan (x)+\frac {1}{2} x \sqrt {1+x^2} \arctan (x)^2-i \arctan \left (e^{i \arctan (x)}\right ) \arctan (x)^2+\text {arctanh}\left (\frac {x}{\sqrt {1+x^2}}\right )+i \arctan (x) \operatorname {PolyLog}\left (2,-i e^{i \arctan (x)}\right )-i \arctan (x) \operatorname {PolyLog}\left (2,i e^{i \arctan (x)}\right )-\operatorname {PolyLog}\left (3,-i e^{i \arctan (x)}\right )+\operatorname {PolyLog}\left (3,i e^{i \arctan (x)}\right ) \]
[In]
[Out]
Time = 0.72 (sec) , antiderivative size = 171, normalized size of antiderivative = 1.41
method | result | size |
default | \(\frac {\left (x \arctan \left (x \right )-2\right ) \arctan \left (x \right ) \sqrt {x^{2}+1}}{2}+\frac {\arctan \left (x \right )^{2} \ln \left (1-\frac {i \left (i x +1\right )}{\sqrt {x^{2}+1}}\right )}{2}-\frac {\arctan \left (x \right )^{2} \ln \left (1+\frac {i \left (i x +1\right )}{\sqrt {x^{2}+1}}\right )}{2}-i \arctan \left (x \right ) \operatorname {Li}_{2}\left (\frac {i \left (i x +1\right )}{\sqrt {x^{2}+1}}\right )+i \arctan \left (x \right ) \operatorname {Li}_{2}\left (-\frac {i \left (i x +1\right )}{\sqrt {x^{2}+1}}\right )+\operatorname {Li}_{3}\left (\frac {i \left (i x +1\right )}{\sqrt {x^{2}+1}}\right )-\operatorname {Li}_{3}\left (-\frac {i \left (i x +1\right )}{\sqrt {x^{2}+1}}\right )-2 i \arctan \left (\frac {i x +1}{\sqrt {x^{2}+1}}\right )\) | \(171\) |
[In]
[Out]
\[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\int { \sqrt {x^{2} + 1} \arctan \left (x\right )^{2} \,d x } \]
[In]
[Out]
\[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\int \sqrt {x^{2} + 1} \operatorname {atan}^{2}{\left (x \right )}\, dx \]
[In]
[Out]
\[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\int { \sqrt {x^{2} + 1} \arctan \left (x\right )^{2} \,d x } \]
[In]
[Out]
\[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\int { \sqrt {x^{2} + 1} \arctan \left (x\right )^{2} \,d x } \]
[In]
[Out]
Timed out. \[ \int \sqrt {1+x^2} \arctan (x)^2 \, dx=\int {\mathrm {atan}\left (x\right )}^2\,\sqrt {x^2+1} \,d x \]
[In]
[Out]