Optimal. Leaf size=123 \[ -\text {ArcTan}\left (\frac {x}{\sqrt [4]{x^3+x^4}}\right )+\tanh ^{-1}\left (\frac {x}{\sqrt [4]{x^3+x^4}}\right )-\frac {1}{2} \text {RootSum}\left [1-5 \text {$\#$1}^4+2 \text {$\#$1}^8\& ,\frac {-\log (x)+\log \left (\sqrt [4]{x^3+x^4}-x \text {$\#$1}\right )+2 \log (x) \text {$\#$1}^4-2 \log \left (\sqrt [4]{x^3+x^4}-x \text {$\#$1}\right ) \text {$\#$1}^4}{-5 \text {$\#$1}^3+4 \text {$\#$1}^7}\& \right ] \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(378\) vs. \(2(123)=246\).
time = 0.51, antiderivative size = 378, normalized size of antiderivative = 3.07, number of steps
used = 17, number of rules used = 9, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.409, Rules used = {2081, 919, 65,
338, 304, 209, 212, 6860, 95} \begin {gather*} -\frac {\sqrt [4]{x^4+x^3} \text {ArcTan}\left (\frac {\sqrt [4]{x}}{\sqrt [4]{x+1}}\right )}{x^{3/4} \sqrt [4]{x+1}}+\frac {\sqrt [4]{\frac {1}{2} \left (23-\sqrt {17}\right )} \sqrt [4]{x^4+x^3} \text {ArcTan}\left (\frac {\sqrt [4]{\frac {2}{5+\sqrt {17}}} \sqrt [4]{x}}{\sqrt [4]{x+1}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{x+1}}+\frac {\sqrt [4]{\frac {1}{2} \left (23+\sqrt {17}\right )} \sqrt [4]{x^4+x^3} \text {ArcTan}\left (\frac {\sqrt [4]{5+\sqrt {17}} \sqrt [4]{x}}{\sqrt {2} \sqrt [4]{x+1}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{x+1}}+\frac {\sqrt [4]{x^4+x^3} \tanh ^{-1}\left (\frac {\sqrt [4]{x}}{\sqrt [4]{x+1}}\right )}{x^{3/4} \sqrt [4]{x+1}}-\frac {\sqrt [4]{\frac {1}{2} \left (23-\sqrt {17}\right )} \sqrt [4]{x^4+x^3} \tanh ^{-1}\left (\frac {\sqrt [4]{\frac {2}{5+\sqrt {17}}} \sqrt [4]{x}}{\sqrt [4]{x+1}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{x+1}}-\frac {\sqrt [4]{\frac {1}{2} \left (23+\sqrt {17}\right )} \sqrt [4]{x^4+x^3} \tanh ^{-1}\left (\frac {\sqrt [4]{5+\sqrt {17}} \sqrt [4]{x}}{\sqrt {2} \sqrt [4]{x+1}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{x+1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 65
Rule 95
Rule 209
Rule 212
Rule 304
Rule 338
Rule 919
Rule 2081
Rule 6860
Rubi steps
\begin {align*} \int \frac {\sqrt [4]{x^3+x^4}}{-2+x+2 x^2} \, dx &=\frac {\sqrt [4]{x^3+x^4} \int \frac {x^{3/4} \sqrt [4]{1+x}}{-2+x+2 x^2} \, dx}{x^{3/4} \sqrt [4]{1+x}}\\ &=\frac {\sqrt [4]{x^3+x^4} \int \frac {1}{\sqrt [4]{x} (1+x)^{3/4}} \, dx}{2 x^{3/4} \sqrt [4]{1+x}}+\frac {\sqrt [4]{x^3+x^4} \int \frac {2+x}{\sqrt [4]{x} (1+x)^{3/4} \left (-2+x+2 x^2\right )} \, dx}{2 x^{3/4} \sqrt [4]{1+x}}\\ &=\frac {\sqrt [4]{x^3+x^4} \int \left (\frac {1+\frac {7}{\sqrt {17}}}{\sqrt [4]{x} (1+x)^{3/4} \left (1-\sqrt {17}+4 x\right )}+\frac {1-\frac {7}{\sqrt {17}}}{\sqrt [4]{x} (1+x)^{3/4} \left (1+\sqrt {17}+4 x\right )}\right ) \, dx}{2 x^{3/4} \sqrt [4]{1+x}}+\frac {\left (2 \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {x^2}{\left (1+x^4\right )^{3/4}} \, dx,x,\sqrt [4]{x}\right )}{x^{3/4} \sqrt [4]{1+x}}\\ &=\frac {\left (2 \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {x^2}{1-x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}+\frac {\left (\left (17-7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \int \frac {1}{\sqrt [4]{x} (1+x)^{3/4} \left (1+\sqrt {17}+4 x\right )} \, dx}{34 x^{3/4} \sqrt [4]{1+x}}+\frac {\left (\left (17+7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \int \frac {1}{\sqrt [4]{x} (1+x)^{3/4} \left (1-\sqrt {17}+4 x\right )} \, dx}{34 x^{3/4} \sqrt [4]{1+x}}\\ &=\frac {\sqrt [4]{x^3+x^4} \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}-\frac {\sqrt [4]{x^3+x^4} \text {Subst}\left (\int \frac {1}{1+x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}+\frac {\left (2 \left (17-7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {x^2}{1+\sqrt {17}-\left (-3+\sqrt {17}\right ) x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{17 x^{3/4} \sqrt [4]{1+x}}+\frac {\left (2 \left (17+7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {x^2}{1-\sqrt {17}-\left (-3-\sqrt {17}\right ) x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{17 x^{3/4} \sqrt [4]{1+x}}\\ &=-\frac {\sqrt [4]{x^3+x^4} \tan ^{-1}\left (\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}+\frac {\sqrt [4]{x^3+x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}-\frac {\left (\sqrt {2} \left (17-7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {5+\sqrt {17}}-\sqrt {2} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{17 \left (3-\sqrt {17}\right ) x^{3/4} \sqrt [4]{1+x}}+\frac {\left (\sqrt {2} \left (17-7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {5+\sqrt {17}}+\sqrt {2} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{17 \left (3-\sqrt {17}\right ) x^{3/4} \sqrt [4]{1+x}}-\frac {\left (\sqrt {2} \left (17+7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {5-\sqrt {17}}-\sqrt {2} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{17 \left (3+\sqrt {17}\right ) x^{3/4} \sqrt [4]{1+x}}+\frac {\left (\sqrt {2} \left (17+7 \sqrt {17}\right ) \sqrt [4]{x^3+x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {5-\sqrt {17}}+\sqrt {2} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{17 \left (3+\sqrt {17}\right ) x^{3/4} \sqrt [4]{1+x}}\\ &=-\frac {\sqrt [4]{x^3+x^4} \tan ^{-1}\left (\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}+\frac {\sqrt [4]{\frac {1}{2} \left (23-\sqrt {17}\right )} \sqrt [4]{x^3+x^4} \tan ^{-1}\left (\frac {\sqrt [4]{\frac {2}{5+\sqrt {17}}} \sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{1+x}}+\frac {\sqrt [4]{\frac {1}{2} \left (23+\sqrt {17}\right )} \sqrt [4]{x^3+x^4} \tan ^{-1}\left (\frac {\sqrt [4]{5+\sqrt {17}} \sqrt [4]{x}}{\sqrt {2} \sqrt [4]{1+x}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{1+x}}+\frac {\sqrt [4]{x^3+x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{x^{3/4} \sqrt [4]{1+x}}-\frac {\sqrt [4]{\frac {1}{2} \left (23-\sqrt {17}\right )} \sqrt [4]{x^3+x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{\frac {2}{5+\sqrt {17}}} \sqrt [4]{x}}{\sqrt [4]{1+x}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{1+x}}-\frac {\sqrt [4]{\frac {1}{2} \left (23+\sqrt {17}\right )} \sqrt [4]{x^3+x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{5+\sqrt {17}} \sqrt [4]{x}}{\sqrt {2} \sqrt [4]{1+x}}\right )}{\sqrt {17} x^{3/4} \sqrt [4]{1+x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.20, size = 146, normalized size = 1.19 \begin {gather*} -\frac {x^{9/4} (1+x)^{3/4} \left (8 \text {ArcTan}\left (\sqrt [4]{\frac {x}{1+x}}\right )-8 \tanh ^{-1}\left (\sqrt [4]{\frac {x}{1+x}}\right )+\text {RootSum}\left [1-5 \text {$\#$1}^4+2 \text {$\#$1}^8\&,\frac {-\log (x)+4 \log \left (\sqrt [4]{1+x}-\sqrt [4]{x} \text {$\#$1}\right )+2 \log (x) \text {$\#$1}^4-8 \log \left (\sqrt [4]{1+x}-\sqrt [4]{x} \text {$\#$1}\right ) \text {$\#$1}^4}{-5 \text {$\#$1}^3+4 \text {$\#$1}^7}\&\right ]\right )}{8 \left (x^3 (1+x)\right )^{3/4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
1.
time = 9.20, size = 3580, normalized size = 29.11
method | result | size |
trager | \(\text {Expression too large to display}\) | \(3580\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains higher order function than in optimal. Order 3 vs. order
1.
time = 0.46, size = 637, normalized size = 5.18 \begin {gather*} -\frac {1}{17} \, \sqrt {34} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} \arctan \left (\frac {\sqrt {34} {\left (5 \, \sqrt {17} \sqrt {2} x - 51 \, \sqrt {2} x\right )} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} \sqrt {\sqrt {17} + 23} \sqrt {\frac {{\left (\sqrt {17} \sqrt {2} x^{2} + 9 \, \sqrt {2} x^{2}\right )} \sqrt {\sqrt {17} + 23} + 64 \, \sqrt {x^{4} + x^{3}}}{x^{2}}} - 8 \, \sqrt {34} {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}} {\left (5 \, \sqrt {17} \sqrt {2} - 51 \, \sqrt {2}\right )} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} \sqrt {\sqrt {17} + 23}}{34816 \, x}\right ) + \frac {1}{17} \, \sqrt {34} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} \arctan \left (\frac {\sqrt {34} {\left (5 \, \sqrt {17} \sqrt {2} x + 51 \, \sqrt {2} x\right )} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} \sqrt {-\sqrt {17} + 23} \sqrt {-\frac {{\left (\sqrt {17} \sqrt {2} x^{2} - 9 \, \sqrt {2} x^{2}\right )} \sqrt {-\sqrt {17} + 23} - 64 \, \sqrt {x^{4} + x^{3}}}{x^{2}}} - 8 \, \sqrt {34} {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}} {\left (5 \, \sqrt {17} \sqrt {2} + 51 \, \sqrt {2}\right )} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} \sqrt {-\sqrt {17} + 23}}{34816 \, x}\right ) - \frac {1}{68} \, \sqrt {34} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} \log \left (\frac {\sqrt {34} {\left (\sqrt {17} x + 17 \, x\right )} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} + 272 \, {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) + \frac {1}{68} \, \sqrt {34} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} \log \left (-\frac {\sqrt {34} {\left (\sqrt {17} x + 17 \, x\right )} \sqrt {\sqrt {2} \sqrt {\sqrt {17} + 23}} - 272 \, {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) + \frac {1}{68} \, \sqrt {34} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} \log \left (\frac {\sqrt {34} {\left (\sqrt {17} x - 17 \, x\right )} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} + 272 \, {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) - \frac {1}{68} \, \sqrt {34} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} \log \left (-\frac {\sqrt {34} {\left (\sqrt {17} x - 17 \, x\right )} \sqrt {\sqrt {2} \sqrt {-\sqrt {17} + 23}} - 272 \, {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) + \arctan \left (\frac {{\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) + \frac {1}{2} \, \log \left (\frac {x + {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) - \frac {1}{2} \, \log \left (-\frac {x - {\left (x^{4} + x^{3}\right )}^{\frac {1}{4}}}{x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt [4]{x^{3} \left (x + 1\right )}}{2 x^{2} + x - 2}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\left (x^4+x^3\right )}^{1/4}}{2\,x^2+x-2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________