Optimal. Leaf size=112 \[ \frac{x^2}{2}+\frac{\log \left (x^2-\sqrt{2} x+1\right )}{4 \sqrt{2}}-\frac{\log \left (x^2+\sqrt{2} x+1\right )}{4 \sqrt{2}}-\frac{1}{4} \log \left (x^4+1\right )-\frac{1}{2} \tan ^{-1}\left (x^2\right )+\log (x)-\frac{\tan ^{-1}\left (1-\sqrt{2} x\right )}{2 \sqrt{2}}+\frac{\tan ^{-1}\left (\sqrt{2} x+1\right )}{2 \sqrt{2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.114055, antiderivative size = 112, normalized size of antiderivative = 1., number of steps used = 18, number of rules used = 13, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.812, Rules used = {1593, 1833, 297, 1162, 617, 204, 1165, 628, 1834, 1248, 635, 203, 260} \[ \frac{x^2}{2}+\frac{\log \left (x^2-\sqrt{2} x+1\right )}{4 \sqrt{2}}-\frac{\log \left (x^2+\sqrt{2} x+1\right )}{4 \sqrt{2}}-\frac{1}{4} \log \left (x^4+1\right )-\frac{1}{2} \tan ^{-1}\left (x^2\right )+\log (x)-\frac{\tan ^{-1}\left (1-\sqrt{2} x\right )}{2 \sqrt{2}}+\frac{\tan ^{-1}\left (\sqrt{2} x+1\right )}{2 \sqrt{2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1593
Rule 1833
Rule 297
Rule 1162
Rule 617
Rule 204
Rule 1165
Rule 628
Rule 1834
Rule 1248
Rule 635
Rule 203
Rule 260
Rubi steps
\begin{align*} \int \frac{1+x^3+x^6}{x+x^5} \, dx &=\int \frac{1+x^3+x^6}{x \left (1+x^4\right )} \, dx\\ &=\int \left (\frac{x^2}{1+x^4}+\frac{1+x^6}{x \left (1+x^4\right )}\right ) \, dx\\ &=\int \frac{x^2}{1+x^4} \, dx+\int \frac{1+x^6}{x \left (1+x^4\right )} \, dx\\ &=-\left (\frac{1}{2} \int \frac{1-x^2}{1+x^4} \, dx\right )+\frac{1}{2} \int \frac{1+x^2}{1+x^4} \, dx+\int \left (\frac{1}{x}+x+\frac{x \left (-1-x^2\right )}{1+x^4}\right ) \, dx\\ &=\frac{x^2}{2}+\log (x)+\frac{1}{4} \int \frac{1}{1-\sqrt{2} x+x^2} \, dx+\frac{1}{4} \int \frac{1}{1+\sqrt{2} x+x^2} \, dx+\frac{\int \frac{\sqrt{2}+2 x}{-1-\sqrt{2} x-x^2} \, dx}{4 \sqrt{2}}+\frac{\int \frac{\sqrt{2}-2 x}{-1+\sqrt{2} x-x^2} \, dx}{4 \sqrt{2}}+\int \frac{x \left (-1-x^2\right )}{1+x^4} \, dx\\ &=\frac{x^2}{2}+\log (x)+\frac{\log \left (1-\sqrt{2} x+x^2\right )}{4 \sqrt{2}}-\frac{\log \left (1+\sqrt{2} x+x^2\right )}{4 \sqrt{2}}+\frac{1}{2} \operatorname{Subst}\left (\int \frac{-1-x}{1+x^2} \, dx,x,x^2\right )+\frac{\operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1-\sqrt{2} x\right )}{2 \sqrt{2}}-\frac{\operatorname{Subst}\left (\int \frac{1}{-1-x^2} \, dx,x,1+\sqrt{2} x\right )}{2 \sqrt{2}}\\ &=\frac{x^2}{2}-\frac{\tan ^{-1}\left (1-\sqrt{2} x\right )}{2 \sqrt{2}}+\frac{\tan ^{-1}\left (1+\sqrt{2} x\right )}{2 \sqrt{2}}+\log (x)+\frac{\log \left (1-\sqrt{2} x+x^2\right )}{4 \sqrt{2}}-\frac{\log \left (1+\sqrt{2} x+x^2\right )}{4 \sqrt{2}}-\frac{1}{2} \operatorname{Subst}\left (\int \frac{1}{1+x^2} \, dx,x,x^2\right )-\frac{1}{2} \operatorname{Subst}\left (\int \frac{x}{1+x^2} \, dx,x,x^2\right )\\ &=\frac{x^2}{2}-\frac{1}{2} \tan ^{-1}\left (x^2\right )-\frac{\tan ^{-1}\left (1-\sqrt{2} x\right )}{2 \sqrt{2}}+\frac{\tan ^{-1}\left (1+\sqrt{2} x\right )}{2 \sqrt{2}}+\log (x)+\frac{\log \left (1-\sqrt{2} x+x^2\right )}{4 \sqrt{2}}-\frac{\log \left (1+\sqrt{2} x+x^2\right )}{4 \sqrt{2}}-\frac{1}{4} \log \left (1+x^4\right )\\ \end{align*}
Mathematica [A] time = 0.0507398, size = 101, normalized size = 0.9 \[ \frac{1}{8} \left (4 x^2+\sqrt{2} \log \left (x^2-\sqrt{2} x+1\right )-\sqrt{2} \log \left (x^2+\sqrt{2} x+1\right )-2 \log \left (x^4+1\right )+8 \log (x)-2 \left (\sqrt{2}-2\right ) \tan ^{-1}\left (1-\sqrt{2} x\right )+2 \left (2+\sqrt{2}\right ) \tan ^{-1}\left (\sqrt{2} x+1\right )\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.006, size = 79, normalized size = 0.7 \begin{align*}{\frac{{x}^{2}}{2}}+\ln \left ( x \right ) -{\frac{\arctan \left ({x}^{2} \right ) }{2}}+{\frac{\arctan \left ( 1+x\sqrt{2} \right ) \sqrt{2}}{4}}+{\frac{\arctan \left ( -1+x\sqrt{2} \right ) \sqrt{2}}{4}}+{\frac{\sqrt{2}}{8}\ln \left ({\frac{1+{x}^{2}-x\sqrt{2}}{1+{x}^{2}+x\sqrt{2}}} \right ) }-{\frac{\ln \left ({x}^{4}+1 \right ) }{4}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.71442, size = 134, normalized size = 1.2 \begin{align*} \frac{1}{4} \, \sqrt{2}{\left (\sqrt{2} + 1\right )} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (2 \, x + \sqrt{2}\right )}\right ) - \frac{1}{4} \, \sqrt{2}{\left (\sqrt{2} - 1\right )} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (2 \, x - \sqrt{2}\right )}\right ) - \frac{1}{8} \, \sqrt{2}{\left (\sqrt{2} + 1\right )} \log \left (x^{2} + \sqrt{2} x + 1\right ) - \frac{1}{8} \, \sqrt{2}{\left (\sqrt{2} - 1\right )} \log \left (x^{2} - \sqrt{2} x + 1\right ) + \frac{1}{2} \, x^{2} + \log \left (x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 9.76508, size = 2269, normalized size = 20.26 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.782248, size = 61, normalized size = 0.54 \begin{align*} \frac{x^{2}}{2} + \log{\left (x \right )} + \operatorname{RootSum}{\left (256 t^{4} + 256 t^{3} + 128 t^{2} + 16 t + 1, \left ( t \mapsto t \log{\left (\frac{1792 t^{4}}{73} + \frac{704 t^{3}}{219} - \frac{3152 t^{2}}{219} - \frac{2584 t}{219} + x - \frac{344}{219} \right )} \right )\right )} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.28067, size = 124, normalized size = 1.11 \begin{align*} \frac{1}{2} \, x^{2} + \frac{1}{4} \,{\left (\sqrt{2} + 2\right )} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (2 \, x + \sqrt{2}\right )}\right ) + \frac{1}{4} \,{\left (\sqrt{2} - 2\right )} \arctan \left (\frac{1}{2} \, \sqrt{2}{\left (2 \, x - \sqrt{2}\right )}\right ) - \frac{1}{8} \, \sqrt{2} \log \left (x^{2} + \sqrt{2} x + 1\right ) + \frac{1}{8} \, \sqrt{2} \log \left (x^{2} - \sqrt{2} x + 1\right ) - \frac{1}{4} \, \log \left (x^{4} + 1\right ) + \log \left ({\left | x \right |}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]