Optimal. Leaf size=177 \[ \frac {\sqrt {a^2 x^3-b^2 x}}{b^2-a^2 x^2}-\frac {\tan ^{-1}\left (\frac {2 \sqrt {a} \sqrt {b} \sqrt {a^2 x^3-b^2 x}}{a^2 x^2-2 a b x-b^2}\right )}{4 \sqrt {a} \sqrt {b}}-\frac {\tanh ^{-1}\left (\frac {\frac {a^{3/2} x^2}{2 \sqrt {b}}-\frac {b^{3/2}}{2 \sqrt {a}}+\sqrt {a} \sqrt {b} x}{\sqrt {a^2 x^3-b^2 x}}\right )}{4 \sqrt {a} \sqrt {b}} \]
________________________________________________________________________________________
Rubi [A] time = 1.63, antiderivative size = 234, normalized size of antiderivative = 1.32, number of steps used = 22, number of rules used = 13, integrand size = 45, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.289, Rules used = {2056, 6715, 6725, 224, 221, 1404, 414, 523, 409, 1211, 1699, 203, 206} \begin {gather*} -\frac {x}{\sqrt {a^2 x^3-b^2 x}}-\frac {\sqrt {x} \sqrt {a^2 x^2-b^2} \tan ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {x}}{\sqrt {a^2 x^2-b^2}}\right )}{2 \sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {a^2 x^3-b^2 x}}-\frac {\sqrt {x} \sqrt {a^2 x^2-b^2} \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {x}}{\sqrt {a^2 x^2-b^2}}\right )}{2 \sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {a^2 x^3-b^2 x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 203
Rule 206
Rule 221
Rule 224
Rule 409
Rule 414
Rule 523
Rule 1211
Rule 1404
Rule 1699
Rule 2056
Rule 6715
Rule 6725
Rubi steps
\begin {align*} \int \frac {b^4+a^4 x^4}{\sqrt {-b^2 x+a^2 x^3} \left (-b^4+a^4 x^4\right )} \, dx &=\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \int \frac {b^4+a^4 x^4}{\sqrt {x} \sqrt {-b^2+a^2 x^2} \left (-b^4+a^4 x^4\right )} \, dx}{\sqrt {-b^2 x+a^2 x^3}}\\ &=\frac {\left (2 \sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {b^4+a^4 x^8}{\sqrt {-b^2+a^2 x^4} \left (-b^4+a^4 x^8\right )} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}\\ &=\frac {\left (2 \sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \left (\frac {1}{\sqrt {-b^2+a^2 x^4}}+\frac {2 b^4}{\sqrt {-b^2+a^2 x^4} \left (-b^4+a^4 x^8\right )}\right ) \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}\\ &=\frac {\left (2 \sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}+\frac {\left (4 b^4 \sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-b^2+a^2 x^4} \left (-b^4+a^4 x^8\right )} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}\\ &=\frac {\left (4 b^4 \sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (-b^2+a^2 x^4\right )^{3/2} \left (b^2+a^2 x^4\right )} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}+\frac {\left (2 \sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-\frac {a^2 x^4}{b^2}}} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}\\ &=-\frac {x}{\sqrt {-b^2 x+a^2 x^3}}+\frac {2 \sqrt {b} \sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt {a} \sqrt {x}}{\sqrt {b}}\right )\right |-1\right )}{\sqrt {a} \sqrt {-b^2 x+a^2 x^3}}+\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {-3 a^2 b^2-a^4 x^4}{\sqrt {-b^2+a^2 x^4} \left (b^2+a^2 x^4\right )} \, dx,x,\sqrt {x}\right )}{a^2 \sqrt {-b^2 x+a^2 x^3}}\\ &=-\frac {x}{\sqrt {-b^2 x+a^2 x^3}}+\frac {2 \sqrt {b} \sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt {a} \sqrt {x}}{\sqrt {b}}\right )\right |-1\right )}{\sqrt {a} \sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}-\frac {\left (2 b^2 \sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-b^2+a^2 x^4} \left (b^2+a^2 x^4\right )} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}\\ &=-\frac {x}{\sqrt {-b^2 x+a^2 x^3}}+\frac {2 \sqrt {b} \sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt {a} \sqrt {x}}{\sqrt {b}}\right )\right |-1\right )}{\sqrt {a} \sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (1-\frac {\sqrt {-a^2} x^2}{b}\right ) \sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\left (1+\frac {\sqrt {-a^2} x^2}{b}\right ) \sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-\frac {a^2 x^4}{b^2}}} \, dx,x,\sqrt {x}\right )}{\sqrt {-b^2 x+a^2 x^3}}\\ &=-\frac {x}{\sqrt {-b^2 x+a^2 x^3}}+\frac {\sqrt {b} \sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt {a} \sqrt {x}}{\sqrt {b}}\right )\right |-1\right )}{\sqrt {a} \sqrt {-b^2 x+a^2 x^3}}-2 \frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{2 \sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1-\frac {\sqrt {-a^2} x^2}{b}}{\left (1+\frac {\sqrt {-a^2} x^2}{b}\right ) \sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{2 \sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1+\frac {\sqrt {-a^2} x^2}{b}}{\left (1-\frac {\sqrt {-a^2} x^2}{b}\right ) \sqrt {-b^2+a^2 x^4}} \, dx,x,\sqrt {x}\right )}{2 \sqrt {-b^2 x+a^2 x^3}}\\ &=-\frac {x}{\sqrt {-b^2 x+a^2 x^3}}+\frac {\sqrt {b} \sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}} F\left (\left .\sin ^{-1}\left (\frac {\sqrt {a} \sqrt {x}}{\sqrt {b}}\right )\right |-1\right )}{\sqrt {a} \sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{1-2 \sqrt {-a^2} b x^2} \, dx,x,\frac {\sqrt {x}}{\sqrt {-b^2+a^2 x^2}}\right )}{2 \sqrt {-b^2 x+a^2 x^3}}-\frac {\left (\sqrt {x} \sqrt {-b^2+a^2 x^2}\right ) \operatorname {Subst}\left (\int \frac {1}{1+2 \sqrt {-a^2} b x^2} \, dx,x,\frac {\sqrt {x}}{\sqrt {-b^2+a^2 x^2}}\right )}{2 \sqrt {-b^2 x+a^2 x^3}}-2 \frac {\left (\sqrt {x} \sqrt {1-\frac {a^2 x^2}{b^2}}\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {1-\frac {a^2 x^4}{b^2}}} \, dx,x,\sqrt {x}\right )}{2 \sqrt {-b^2 x+a^2 x^3}}\\ &=-\frac {x}{\sqrt {-b^2 x+a^2 x^3}}-\frac {\sqrt {x} \sqrt {-b^2+a^2 x^2} \tan ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {x}}{\sqrt {-b^2+a^2 x^2}}\right )}{2 \sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {-b^2 x+a^2 x^3}}-\frac {\sqrt {x} \sqrt {-b^2+a^2 x^2} \tanh ^{-1}\left (\frac {\sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {x}}{\sqrt {-b^2+a^2 x^2}}\right )}{2 \sqrt {2} \sqrt [4]{-a^2} \sqrt {b} \sqrt {-b^2 x+a^2 x^3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.56, size = 73, normalized size = 0.41 \begin {gather*} \frac {x \left (-\sqrt {1-\frac {a^2 x^2}{b^2}} F_1\left (\frac {1}{4};-\frac {1}{2},1;\frac {5}{4};\frac {a^2 x^2}{b^2},-\frac {a^2 x^2}{b^2}\right )-1\right )}{\sqrt {a^2 x^3-b^2 x}} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.50, size = 177, normalized size = 1.00 \begin {gather*} \frac {\sqrt {-b^2 x+a^2 x^3}}{b^2-a^2 x^2}-\frac {\tan ^{-1}\left (\frac {2 \sqrt {a} \sqrt {b} \sqrt {-b^2 x+a^2 x^3}}{-b^2-2 a b x+a^2 x^2}\right )}{4 \sqrt {a} \sqrt {b}}-\frac {\tanh ^{-1}\left (\frac {-\frac {b^{3/2}}{2 \sqrt {a}}+\sqrt {a} \sqrt {b} x+\frac {a^{3/2} x^2}{2 \sqrt {b}}}{\sqrt {-b^2 x+a^2 x^3}}\right )}{4 \sqrt {a} \sqrt {b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.81, size = 1141, normalized size = 6.45
result too large to display
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 {a^{4} x^{4} + b^{4}}{{\left (a^{4} x^{4} - b^{4}\right )} \sqrt {a^{2} x^{3} - b^{2} x}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [C] time = 0.22, size = 322, normalized size = 1.82
method | result | size |
elliptic | \(-\frac {x}{\sqrt {\left (x^{2}-\frac {b^{2}}{a^{2}}\right ) a^{2} x}}+\frac {b \sqrt {1+\frac {a x}{b}}\, \sqrt {2-\frac {2 a x}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticF \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{2 a \sqrt {a^{2} x^{3}-b^{2} x}}+\frac {i b^{2} \sqrt {1+\frac {a x}{b}}\, \sqrt {2-\frac {2 a x}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticPi \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, -\frac {b}{a \left (-\frac {i b}{a}-\frac {b}{a}\right )}, \frac {\sqrt {2}}{2}\right )}{2 a^{2} \sqrt {a^{2} x^{3}-b^{2} x}\, \left (-\frac {i b}{a}-\frac {b}{a}\right )}-\frac {i b^{2} \sqrt {1+\frac {a x}{b}}\, \sqrt {2-\frac {2 a x}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticPi \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, -\frac {b}{a \left (-\frac {b}{a}+\frac {i b}{a}\right )}, \frac {\sqrt {2}}{2}\right )}{2 a^{2} \sqrt {a^{2} x^{3}-b^{2} x}\, \left (-\frac {b}{a}+\frac {i b}{a}\right )}\) | \(322\) |
default | \(\frac {b \sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {2 \left (x -\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticF \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{a \sqrt {a^{2} x^{3}-b^{2} x}}-\frac {b \left (-\frac {a^{2} x^{2}-a b x}{b^{2} a \sqrt {\left (x +\frac {b}{a}\right ) \left (a^{2} x^{2}-a b x \right )}}+\frac {\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {2 \left (x -\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticF \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{2 a \sqrt {a^{2} x^{3}-b^{2} x}}+\frac {\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {2 \left (x -\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {a x}{b}}\, \left (-\frac {2 b \EllipticE \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{a}+\frac {b \EllipticF \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{a}\right )}{2 b \sqrt {a^{2} x^{3}-b^{2} x}}\right )}{2}+\frac {b \left (-\frac {a^{2} x^{2}+a b x}{b^{2} a \sqrt {\left (x -\frac {b}{a}\right ) \left (a^{2} x^{2}+a b x \right )}}-\frac {\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {2 \left (x -\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticF \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{2 a \sqrt {a^{2} x^{3}-b^{2} x}}+\frac {\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {2 \left (x -\frac {b}{a}\right ) a}{b}}\, \sqrt {-\frac {a x}{b}}\, \left (-\frac {2 b \EllipticE \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{a}+\frac {b \EllipticF \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, \frac {\sqrt {2}}{2}\right )}{a}\right )}{2 b \sqrt {a^{2} x^{3}-b^{2} x}}\right )}{2}-b^{2} \left (-\frac {i \sqrt {1+\frac {a x}{b}}\, \sqrt {2-\frac {2 a x}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticPi \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, -\frac {b}{a \left (-\frac {i b}{a}-\frac {b}{a}\right )}, \frac {\sqrt {2}}{2}\right )}{2 a^{2} \sqrt {a^{2} x^{3}-b^{2} x}\, \left (-\frac {i b}{a}-\frac {b}{a}\right )}+\frac {i \sqrt {1+\frac {a x}{b}}\, \sqrt {2-\frac {2 a x}{b}}\, \sqrt {-\frac {a x}{b}}\, \EllipticPi \left (\sqrt {\frac {\left (x +\frac {b}{a}\right ) a}{b}}, -\frac {b}{a \left (-\frac {b}{a}+\frac {i b}{a}\right )}, \frac {\sqrt {2}}{2}\right )}{2 a^{2} \sqrt {a^{2} x^{3}-b^{2} x}\, \left (-\frac {b}{a}+\frac {i b}{a}\right )}\right )\) | \(787\) |
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*} \int \frac {a^{4} x^{4} + b^{4}}{{\left (a^{4} x^{4} - b^{4}\right )} \sqrt {a^{2} x^{3} - b^{2} x}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F(-1)] time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \text {Hanged} \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 {a^{4} x^{4} + b^{4}}{\sqrt {x \left (a x - b\right ) \left (a x + b\right )} \left (a x - b\right ) \left (a x + b\right ) \left (a^{2} x^{2} + b^{2}\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________