Optimal. Leaf size=89 \[ \frac {2 \tanh ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{x^2 (-a-b)+a b x+x^3}}{a-x}\right )}{d^{3/4}}-\frac {2 \tan ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{x^2 (-a-b)+a b x+x^3}}{a-x}\right )}{d^{3/4}} \]
________________________________________________________________________________________
Rubi [F] time = 13.16, 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 {-a b+2 (a-b) x+x^2}{\sqrt [4]{x (-a+x) (-b+x)} \left (-a^3+\left (3 a^2+b d\right ) x-(3 a+d) x^2+x^3\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {align*} \int \frac {-a b+2 (a-b) x+x^2}{\sqrt [4]{x (-a+x) (-b+x)} \left (-a^3+\left (3 a^2+b d\right ) x-(3 a+d) x^2+x^3\right )} \, dx &=\frac {\left (\sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x}\right ) \int \frac {-a b+2 (a-b) x+x^2}{\sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x} \left (-a^3+\left (3 a^2+b d\right ) x-(3 a+d) x^2+x^3\right )} \, dx}{\sqrt [4]{x (-a+x) (-b+x)}}\\ &=\frac {\left (4 \sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x}\right ) \operatorname {Subst}\left (\int \frac {x^2 \left (-a b+2 (a-b) x^4+x^8\right )}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (-a^3+\left (3 a^2+b d\right ) x^4-(3 a+d) x^8+x^{12}\right )} \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{x (-a+x) (-b+x)}}\\ &=\frac {\left (4 \sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x}\right ) \operatorname {Subst}\left (\int \left (\frac {a b x^2}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (a^3-3 a^2 \left (1+\frac {b d}{3 a^2}\right ) x^4+3 a \left (1+\frac {d}{3 a}\right ) x^8-x^{12}\right )}+\frac {2 (-a+b) x^6}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (a^3-3 a^2 \left (1+\frac {b d}{3 a^2}\right ) x^4+3 a \left (1+\frac {d}{3 a}\right ) x^8-x^{12}\right )}+\frac {x^{10}}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (-a^3+3 a^2 \left (1+\frac {b d}{3 a^2}\right ) x^4-3 a \left (1+\frac {d}{3 a}\right ) x^8+x^{12}\right )}\right ) \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{x (-a+x) (-b+x)}}\\ &=\frac {\left (4 \sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x}\right ) \operatorname {Subst}\left (\int \frac {x^{10}}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (-a^3+3 a^2 \left (1+\frac {b d}{3 a^2}\right ) x^4-3 a \left (1+\frac {d}{3 a}\right ) x^8+x^{12}\right )} \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{x (-a+x) (-b+x)}}-\frac {\left (8 (a-b) \sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x}\right ) \operatorname {Subst}\left (\int \frac {x^6}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (a^3-3 a^2 \left (1+\frac {b d}{3 a^2}\right ) x^4+3 a \left (1+\frac {d}{3 a}\right ) x^8-x^{12}\right )} \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{x (-a+x) (-b+x)}}+\frac {\left (4 a b \sqrt [4]{x} \sqrt [4]{-a+x} \sqrt [4]{-b+x}\right ) \operatorname {Subst}\left (\int \frac {x^2}{\sqrt [4]{-a+x^4} \sqrt [4]{-b+x^4} \left (a^3-3 a^2 \left (1+\frac {b d}{3 a^2}\right ) x^4+3 a \left (1+\frac {d}{3 a}\right ) x^8-x^{12}\right )} \, dx,x,\sqrt [4]{x}\right )}{\sqrt [4]{x (-a+x) (-b+x)}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F] time = 3.35, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {-a b+2 (a-b) x+x^2}{\sqrt [4]{x (-a+x) (-b+x)} \left (-a^3+\left (3 a^2+b d\right ) x-(3 a+d) x^2+x^3\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.31, size = 89, normalized size = 1.00 \begin {gather*} -\frac {2 \tan ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a b x+(-a-b) x^2+x^3}}{a-x}\right )}{d^{3/4}}+\frac {2 \tanh ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a b x+(-a-b) x^2+x^3}}{a-x}\right )}{d^{3/4}} \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 {a b - 2 \, {\left (a - b\right )} x - x^{2}}{{\left (a^{3} + {\left (3 \, a + d\right )} x^{2} - x^{3} - {\left (3 \, a^{2} + b d\right )} x\right )} \left ({\left (a - x\right )} {\left (b - x\right )} x\right )^{\frac {1}{4}}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 0.01, size = 0, normalized size = 0.00 \[\int \frac {-a b +2 \left (a -b \right ) x +x^{2}}{\left (x \left (-a +x \right ) \left (-b +x \right )\right )^{\frac {1}{4}} \left (-a^{3}+\left (3 a^{2}+b d \right ) x -\left (3 a +d \right ) x^{2}+x^{3}\right )}\, dx\]
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 b - 2 \, {\left (a - b\right )} x - x^{2}}{{\left (a^{3} + {\left (3 \, a + d\right )} x^{2} - x^{3} - {\left (3 \, a^{2} + b d\right )} x\right )} \left ({\left (a - x\right )} {\left (b - x\right )} x\right )^{\frac {1}{4}}}\,{d x} \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 {2\,x\,\left (a-b\right )-a\,b+x^2}{{\left (x\,\left (a-x\right )\,\left (b-x\right )\right )}^{1/4}\,\left (x\,\left (3\,a^2+b\,d\right )-x^2\,\left (3\,a+d\right )-a^3+x^3\right )} \,d x \end {gather*}
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]
________________________________________________________________________________________