Integrand size = 21, antiderivative size = 56 \[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=-2 \sqrt {2} \arctan \left (\frac {1-x}{\sqrt {2} \sqrt {1+x+x^2}}\right )+\sqrt {2} \text {arctanh}\left (\frac {1+x}{\sqrt {2} \sqrt {1+x+x^2}}\right ) \]
[Out]
Time = 0.04 (sec) , antiderivative size = 56, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.190, Rules used = {1050, 1044, 213, 209} \[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=\sqrt {2} \text {arctanh}\left (\frac {x+1}{\sqrt {2} \sqrt {x^2+x+1}}\right )-2 \sqrt {2} \arctan \left (\frac {1-x}{\sqrt {2} \sqrt {x^2+x+1}}\right ) \]
[In]
[Out]
Rule 209
Rule 213
Rule 1044
Rule 1050
Rubi steps \begin{align*} \text {integral}& = -\left (\frac {1}{2} \int \frac {-4-4 x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx\right )+\frac {1}{2} \int \frac {2-2 x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx \\ & = 4 \text {Subst}\left (\int \frac {1}{-8+x^2} \, dx,x,\frac {-2-2 x}{\sqrt {1+x+x^2}}\right )+16 \text {Subst}\left (\int \frac {1}{32+x^2} \, dx,x,\frac {-4+4 x}{\sqrt {1+x+x^2}}\right ) \\ & = -2 \sqrt {2} \arctan \left (\frac {1-x}{\sqrt {2} \sqrt {1+x+x^2}}\right )+\sqrt {2} \text {arctanh}\left (\frac {1+x}{\sqrt {2} \sqrt {1+x+x^2}}\right ) \\ \end{align*}
Result contains higher order function than in optimal. Order 9 vs. order 3 in optimal.
Time = 0.18 (sec) , antiderivative size = 103, normalized size of antiderivative = 1.84 \[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=\frac {1}{2} \text {RootSum}\left [2-4 \text {$\#$1}+2 \text {$\#$1}^2+\text {$\#$1}^4\&,\frac {2 \log \left (-x+\sqrt {1+x+x^2}-\text {$\#$1}\right )-6 \log \left (-x+\sqrt {1+x+x^2}-\text {$\#$1}\right ) \text {$\#$1}+\log \left (-x+\sqrt {1+x+x^2}-\text {$\#$1}\right ) \text {$\#$1}^2}{-1+\text {$\#$1}+\text {$\#$1}^3}\&\right ] \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(127\) vs. \(2(46)=92\).
Time = 1.03 (sec) , antiderivative size = 128, normalized size of antiderivative = 2.29
method | result | size |
default | \(\frac {\sqrt {\frac {\left (-1+x \right )^{2}}{\left (-1-x \right )^{2}}+3}\, \sqrt {2}\, \left (\operatorname {arctanh}\left (\frac {\sqrt {\frac {\left (-1+x \right )^{2}}{\left (-1-x \right )^{2}}+3}\, \sqrt {2}}{2}\right )-2 \arctan \left (\frac {\sqrt {2}\, \left (-1+x \right )}{\sqrt {\frac {\left (-1+x \right )^{2}}{\left (-1-x \right )^{2}}+3}\, \left (-1-x \right )}\right )\right )}{\sqrt {\frac {\frac {\left (-1+x \right )^{2}}{\left (-1-x \right )^{2}}+3}{\left (\frac {-1+x}{-1-x}+1\right )^{2}}}\, \left (\frac {-1+x}{-1-x}+1\right )}\) | \(128\) |
trager | \(\operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right ) \ln \left (-\frac {12 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{4} x +92 x \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2}+64 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right ) \sqrt {x^{2}+x +1}+40 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2}+175 x +140}{2 x \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2}+3 x +4}\right )+\frac {2 \ln \left (\frac {12 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{5} x +172 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{3} x +320 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2} \sqrt {x^{2}+x +1}-40 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{3}-217 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right ) x +960 \sqrt {x^{2}+x +1}-620 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )}{2 x \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2}+3 x -4}\right ) \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{3}}{5}+\frac {6 \ln \left (\frac {12 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{5} x +172 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{3} x +320 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2} \sqrt {x^{2}+x +1}-40 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{3}-217 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right ) x +960 \sqrt {x^{2}+x +1}-620 \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )}{2 x \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )^{2}+3 x -4}\right ) \operatorname {RootOf}\left (4 \textit {\_Z}^{4}+12 \textit {\_Z}^{2}+25\right )}{5}\) | \(451\) |
[In]
[Out]
Result contains complex when optimal does not.
Time = 0.25 (sec) , antiderivative size = 105, normalized size of antiderivative = 1.88 \[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=\frac {1}{2} \, \sqrt {8 i - 6} \log \left (-10 \, x - \left (i - 3\right ) \, \sqrt {8 i - 6} + 10 \, \sqrt {x^{2} + x + 1} + 10 i\right ) - \frac {1}{2} \, \sqrt {8 i - 6} \log \left (-10 \, x + \left (i - 3\right ) \, \sqrt {8 i - 6} + 10 \, \sqrt {x^{2} + x + 1} + 10 i\right ) + \frac {1}{2} \, \sqrt {-8 i - 6} \log \left (-10 \, x + \left (i + 3\right ) \, \sqrt {-8 i - 6} + 10 \, \sqrt {x^{2} + x + 1} - 10 i\right ) - \frac {1}{2} \, \sqrt {-8 i - 6} \log \left (-10 \, x - \left (i + 3\right ) \, \sqrt {-8 i - 6} + 10 \, \sqrt {x^{2} + x + 1} - 10 i\right ) \]
[In]
[Out]
\[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=\int \frac {x + 3}{\left (x^{2} + 1\right ) \sqrt {x^{2} + x + 1}}\, dx \]
[In]
[Out]
\[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=\int { \frac {x + 3}{\sqrt {x^{2} + x + 1} {\left (x^{2} + 1\right )}} \,d x } \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 152 vs. \(2 (44) = 88\).
Time = 0.30 (sec) , antiderivative size = 152, normalized size of antiderivative = 2.71 \[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=-\frac {1}{2} \, \sqrt {2} {\left (\pi + 4 \, \arctan \left (-{\left (x - \sqrt {x^{2} + x + 1}\right )} {\left (\sqrt {2} + 2\right )} - \sqrt {2} - 1\right )\right )} + \frac {1}{2} \, \sqrt {2} {\left (\pi + 4 \, \arctan \left ({\left (x - \sqrt {x^{2} + x + 1}\right )} {\left (\sqrt {2} - 2\right )} + \sqrt {2} - 1\right )\right )} - \frac {1}{2} \, \sqrt {2} \log \left ({\left (x + \sqrt {2} - \sqrt {x^{2} + x + 1} - 1\right )}^{2} + {\left (x - \sqrt {x^{2} + x + 1} + 1\right )}^{2}\right ) + \frac {1}{2} \, \sqrt {2} \log \left ({\left (x - \sqrt {2} - \sqrt {x^{2} + x + 1} - 1\right )}^{2} + {\left (x - \sqrt {x^{2} + x + 1} + 1\right )}^{2}\right ) \]
[In]
[Out]
Timed out. \[ \int \frac {3+x}{\left (1+x^2\right ) \sqrt {1+x+x^2}} \, dx=\int \frac {x+3}{\left (x^2+1\right )\,\sqrt {x^2+x+1}} \,d x \]
[In]
[Out]