Optimal. Leaf size=128 \[ \frac {2}{5} b^4 \text {RootSum}\left [-\text {$\#$1}^{10}+5 \text {$\#$1}^8 a-10 \text {$\#$1}^6 a^2+10 \text {$\#$1}^4 a^3-5 \text {$\#$1}^2 a^4+a^5-b^5\& ,\frac {\log \left (\sqrt {a+b x}-\text {$\#$1}\right )}{\text {$\#$1}^9-4 \text {$\#$1}^7 a+6 \text {$\#$1}^5 a^2-4 \text {$\#$1}^3 a^3+\text {$\#$1} a^4}\& \right ]-\frac {2 \sqrt {a+b x}}{b} \]
________________________________________________________________________________________
Rubi [F] time = 1.95, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {1-x^5}{\sqrt {a+b x} \left (1+x^5\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {1-x^5}{\sqrt {a+b x} \left (1+x^5\right )} \, dx &=\frac {2 \operatorname {Subst}\left (\int \frac {1+\frac {\left (a-x^2\right )^5}{b^5}}{1-\frac {\left (a-x^2\right )^5}{b^5}} \, dx,x,\sqrt {a+b x}\right )}{b}\\ &=\frac {2 \operatorname {Subst}\left (\int \left (-1+\frac {2 b}{5 \left (-a+b+x^2\right )}+\frac {2 b \left (a^3 \left (1+\frac {b \left (2 a^2+3 a b+4 b^2\right )}{a^3}\right )-3 a^2 \left (1+\frac {b (4 a+3 b)}{3 a^2}\right ) x^2+3 a \left (1+\frac {2 b}{3 a}\right ) x^4-x^6\right )}{5 \left (a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8\right )}\right ) \, dx,x,\sqrt {a+b x}\right )}{b}\\ &=-\frac {2 \sqrt {a+b x}}{b}+\frac {4}{5} \operatorname {Subst}\left (\int \frac {1}{-a+b+x^2} \, dx,x,\sqrt {a+b x}\right )+\frac {4}{5} \operatorname {Subst}\left (\int \frac {a^3 \left (1+\frac {b \left (2 a^2+3 a b+4 b^2\right )}{a^3}\right )-3 a^2 \left (1+\frac {b (4 a+3 b)}{3 a^2}\right ) x^2+3 a \left (1+\frac {2 b}{3 a}\right ) x^4-x^6}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8} \, dx,x,\sqrt {a+b x}\right )\\ &=-\frac {2 \sqrt {a+b x}}{b}-\frac {4 \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a-b}}\right )}{5 \sqrt {a-b}}+\frac {4}{5} \operatorname {Subst}\left (\int \left (\frac {x^6}{-a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )+4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2-6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4+4 a \left (1+\frac {b}{4 a}\right ) x^6-x^8}+\frac {a^3+2 a^2 b+3 a b^2+4 b^3}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8}+\frac {\left (-3 a^2-4 a b-3 b^2\right ) x^2}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8}+\frac {(3 a+2 b) x^4}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8}\right ) \, dx,x,\sqrt {a+b x}\right )\\ &=-\frac {2 \sqrt {a+b x}}{b}-\frac {4 \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a-b}}\right )}{5 \sqrt {a-b}}+\frac {4}{5} \operatorname {Subst}\left (\int \frac {x^6}{-a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )+4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2-6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4+4 a \left (1+\frac {b}{4 a}\right ) x^6-x^8} \, dx,x,\sqrt {a+b x}\right )+\frac {1}{5} (4 (3 a+2 b)) \operatorname {Subst}\left (\int \frac {x^4}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8} \, dx,x,\sqrt {a+b x}\right )-\frac {1}{5} \left (4 \left (3 a^2+4 a b+3 b^2\right )\right ) \operatorname {Subst}\left (\int \frac {x^2}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8} \, dx,x,\sqrt {a+b x}\right )+\frac {1}{5} \left (4 \left (a^3+2 a^2 b+3 a b^2+4 b^3\right )\right ) \operatorname {Subst}\left (\int \frac {1}{a^4 \left (1+\frac {b \left (a^3+a^2 b+a b^2+b^3\right )}{a^4}\right )-4 a^3 \left (1+\frac {b \left (3 a^2+2 a b+b^2\right )}{4 a^3}\right ) x^2+6 a^2 \left (1+\frac {b (3 a+b)}{6 a^2}\right ) x^4-4 a \left (1+\frac {b}{4 a}\right ) x^6+x^8} \, dx,x,\sqrt {a+b x}\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.45, size = 230, normalized size = 1.80 \begin {gather*} \frac {2}{5} \left (-\frac {5 \sqrt {a+b x}}{b}-\frac {2 \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a-b}}\right )}{\sqrt {a-b}}+\frac {2 \sqrt [5]{-1} \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a+\sqrt [5]{-1} b}}\right )}{\sqrt {a+\sqrt [5]{-1} b}}-\frac {2 (-1)^{2/5} \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a-(-1)^{2/5} b}}\right )}{\sqrt {a-(-1)^{2/5} b}}+\frac {2 (-1)^{3/5} \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a+(-1)^{3/5} b}}\right )}{\sqrt {a+(-1)^{3/5} b}}-\frac {2 (-1)^{4/5} \tanh ^{-1}\left (\frac {\sqrt {a+b x}}{\sqrt {a-(-1)^{4/5} b}}\right )}{\sqrt {a-(-1)^{4/5} b}}\right ) \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [B] time = 0.32, size = 464, normalized size = 3.62 \begin {gather*} -\frac {2 \sqrt {a+b x}}{b}-\frac {4 \tan ^{-1}\left (\frac {\sqrt {-a+b} \sqrt {a+b x}}{a-b}\right )}{5 \sqrt {-a+b}}+\frac {2}{5} \text {RootSum}\left [a^4+a^3 b+a^2 b^2+a b^3+b^4-4 a^3 \text {$\#$1}^2-3 a^2 b \text {$\#$1}^2-2 a b^2 \text {$\#$1}^2-b^3 \text {$\#$1}^2+6 a^2 \text {$\#$1}^4+3 a b \text {$\#$1}^4+b^2 \text {$\#$1}^4-4 a \text {$\#$1}^6-b \text {$\#$1}^6+\text {$\#$1}^8\&,\frac {-a^3 \log \left (\sqrt {a+b x}-\text {$\#$1}\right )-2 a^2 b \log \left (\sqrt {a+b x}-\text {$\#$1}\right )-3 a b^2 \log \left (\sqrt {a+b x}-\text {$\#$1}\right )-4 b^3 \log \left (\sqrt {a+b x}-\text {$\#$1}\right )+3 a^2 \log \left (\sqrt {a+b x}-\text {$\#$1}\right ) \text {$\#$1}^2+4 a b \log \left (\sqrt {a+b x}-\text {$\#$1}\right ) \text {$\#$1}^2+3 b^2 \log \left (\sqrt {a+b x}-\text {$\#$1}\right ) \text {$\#$1}^2-3 a \log \left (\sqrt {a+b x}-\text {$\#$1}\right ) \text {$\#$1}^4-2 b \log \left (\sqrt {a+b x}-\text {$\#$1}\right ) \text {$\#$1}^4+\log \left (\sqrt {a+b x}-\text {$\#$1}\right ) \text {$\#$1}^6}{4 a^3 \text {$\#$1}+3 a^2 b \text {$\#$1}+2 a b^2 \text {$\#$1}+b^3 \text {$\#$1}-12 a^2 \text {$\#$1}^3-6 a b \text {$\#$1}^3-2 b^2 \text {$\#$1}^3+12 a \text {$\#$1}^5+3 b \text {$\#$1}^5-4 \text {$\#$1}^7}\&\right ] \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \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*} \int -\frac {x^{5} - 1}{{\left (x^{5} + 1\right )} \sqrt {b x + a}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.19, size = 265, normalized size = 2.07
method | result | size |
risch | \(-\frac {2 \sqrt {b x +a}}{b}+\frac {4 \arctan \left (\frac {\sqrt {b x +a}}{\sqrt {-a +b}}\right )}{5 \sqrt {-a +b}}+\frac {2 \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{8}+\left (-4 a -b \right ) \textit {\_Z}^{6}+\left (6 a^{2}+3 a b +b^{2}\right ) \textit {\_Z}^{4}+\left (-4 a^{3}-3 a^{2} b -2 a \,b^{2}-b^{3}\right ) \textit {\_Z}^{2}+a^{4}+a^{3} b +a^{2} b^{2}+a \,b^{3}+b^{4}\right )}{\sum }\frac {\left (-\textit {\_R}^{6}+\left (3 a +2 b \right ) \textit {\_R}^{4}+\left (-3 a^{2}-4 a b -3 b^{2}\right ) \textit {\_R}^{2}+a^{3}+2 a^{2} b +3 a \,b^{2}+4 b^{3}\right ) \ln \left (\sqrt {b x +a}-\textit {\_R} \right )}{4 \textit {\_R}^{7}-12 \textit {\_R}^{5} a -3 \textit {\_R}^{5} b +12 \textit {\_R}^{3} a^{2}+6 \textit {\_R}^{3} a b +2 \textit {\_R}^{3} b^{2}-4 \textit {\_R} \,a^{3}-3 \textit {\_R} \,a^{2} b -2 \textit {\_R} a \,b^{2}-\textit {\_R} \,b^{3}}\right )}{5}\) | \(265\) |
derivativedivides | \(-\frac {2 \left (\sqrt {b x +a}-\frac {b \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{8}+\left (-4 a -b \right ) \textit {\_Z}^{6}+\left (6 a^{2}+3 a b +b^{2}\right ) \textit {\_Z}^{4}+\left (-4 a^{3}-3 a^{2} b -2 a \,b^{2}-b^{3}\right ) \textit {\_Z}^{2}+a^{4}+a^{3} b +a^{2} b^{2}+a \,b^{3}+b^{4}\right )}{\sum }\frac {\left (-\textit {\_R}^{6}+\left (3 a +2 b \right ) \textit {\_R}^{4}+\left (-3 a^{2}-4 a b -3 b^{2}\right ) \textit {\_R}^{2}+a^{3}+2 a^{2} b +3 a \,b^{2}+4 b^{3}\right ) \ln \left (\sqrt {b x +a}-\textit {\_R} \right )}{4 \textit {\_R}^{7}-12 \textit {\_R}^{5} a -3 \textit {\_R}^{5} b +12 \textit {\_R}^{3} a^{2}+6 \textit {\_R}^{3} a b +2 \textit {\_R}^{3} b^{2}-4 \textit {\_R} \,a^{3}-3 \textit {\_R} \,a^{2} b -2 \textit {\_R} a \,b^{2}-\textit {\_R} \,b^{3}}\right )}{5}-\frac {2 b \arctan \left (\frac {\sqrt {b x +a}}{\sqrt {-a +b}}\right )}{5 \sqrt {-a +b}}\right )}{b}\) | \(267\) |
default | \(-\frac {2 \left (\sqrt {b x +a}-\frac {b \left (\munderset {\textit {\_R} =\RootOf \left (\textit {\_Z}^{8}+\left (-4 a -b \right ) \textit {\_Z}^{6}+\left (6 a^{2}+3 a b +b^{2}\right ) \textit {\_Z}^{4}+\left (-4 a^{3}-3 a^{2} b -2 a \,b^{2}-b^{3}\right ) \textit {\_Z}^{2}+a^{4}+a^{3} b +a^{2} b^{2}+a \,b^{3}+b^{4}\right )}{\sum }\frac {\left (-\textit {\_R}^{6}+\left (3 a +2 b \right ) \textit {\_R}^{4}+\left (-3 a^{2}-4 a b -3 b^{2}\right ) \textit {\_R}^{2}+a^{3}+2 a^{2} b +3 a \,b^{2}+4 b^{3}\right ) \ln \left (\sqrt {b x +a}-\textit {\_R} \right )}{4 \textit {\_R}^{7}-12 \textit {\_R}^{5} a -3 \textit {\_R}^{5} b +12 \textit {\_R}^{3} a^{2}+6 \textit {\_R}^{3} a b +2 \textit {\_R}^{3} b^{2}-4 \textit {\_R} \,a^{3}-3 \textit {\_R} \,a^{2} b -2 \textit {\_R} a \,b^{2}-\textit {\_R} \,b^{3}}\right )}{5}-\frac {2 b \arctan \left (\frac {\sqrt {b x +a}}{\sqrt {-a +b}}\right )}{5 \sqrt {-a +b}}\right )}{b}\) | \(267\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.06, size = 1163, normalized size = 9.09
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________