Optimal. Leaf size=279 \[ -2 \sqrt [4]{a} \text {ArcTan}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{-b x^3+a x^4}}\right )+2 \sqrt [4]{a} \tanh ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{-b x^3+a x^4}}\right )+\frac {1}{2} \text {RootSum}\left [b^2-2 a b c-a^2 d+2 b c \text {$\#$1}^4+2 a d \text {$\#$1}^4-d \text {$\#$1}^8\& ,\frac {b^2 \log (x)-2 a b c \log (x)-a^2 d \log (x)-b^2 \log \left (\sqrt [4]{-b x^3+a x^4}-x \text {$\#$1}\right )+2 a b c \log \left (\sqrt [4]{-b x^3+a x^4}-x \text {$\#$1}\right )+a^2 d \log \left (\sqrt [4]{-b x^3+a x^4}-x \text {$\#$1}\right )+a d \log (x) \text {$\#$1}^4-a d \log \left (\sqrt [4]{-b x^3+a x^4}-x \text {$\#$1}\right ) \text {$\#$1}^4}{b c \text {$\#$1}^3+a d \text {$\#$1}^3-d \text {$\#$1}^7}\& \right ] \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(753\) vs. \(2(279)=558\).
time = 2.13, antiderivative size = 753, normalized size of antiderivative = 2.70, number of steps
used = 17, number of rules used = 11, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.367, Rules used = {2081, 919,
65, 338, 304, 209, 212, 6860, 95, 211, 214} \begin {gather*} \frac {\sqrt [4]{a x^4-b x^3} \left (-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}-2 a c+b\right ) \text {ArcTan}\left (\frac {\sqrt [4]{x} \sqrt [4]{b-a \left (c-\sqrt {c^2+d}\right )}}{\sqrt [4]{\sqrt {c^2+d}-c} \sqrt [4]{a x-b}}\right )}{x^{3/4} \sqrt [4]{\sqrt {c^2+d}-c} \sqrt [4]{a x-b} \left (b-a \left (c-\sqrt {c^2+d}\right )\right )^{3/4}}-\frac {\sqrt [4]{a x^4-b x^3} \left (\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}-2 a c+b\right ) \text {ArcTan}\left (\frac {\sqrt [4]{x} \sqrt [4]{a \left (\sqrt {c^2+d}+c\right )-b}}{\sqrt [4]{\sqrt {c^2+d}+c} \sqrt [4]{a x-b}}\right )}{x^{3/4} \sqrt [4]{\sqrt {c^2+d}+c} \sqrt [4]{a x-b} \left (a \left (\sqrt {c^2+d}+c\right )-b\right )^{3/4}}-\frac {2 \sqrt [4]{a} \sqrt [4]{a x^4-b x^3} \text {ArcTan}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{a x-b}}\right )}{x^{3/4} \sqrt [4]{a x-b}}-\frac {\sqrt [4]{a x^4-b x^3} \left (-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}-2 a c+b\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{x} \sqrt [4]{b-a \left (c-\sqrt {c^2+d}\right )}}{\sqrt [4]{\sqrt {c^2+d}-c} \sqrt [4]{a x-b}}\right )}{x^{3/4} \sqrt [4]{\sqrt {c^2+d}-c} \sqrt [4]{a x-b} \left (b-a \left (c-\sqrt {c^2+d}\right )\right )^{3/4}}+\frac {\sqrt [4]{a x^4-b x^3} \left (\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}-2 a c+b\right ) \tanh ^{-1}\left (\frac {\sqrt [4]{x} \sqrt [4]{a \left (\sqrt {c^2+d}+c\right )-b}}{\sqrt [4]{\sqrt {c^2+d}+c} \sqrt [4]{a x-b}}\right )}{x^{3/4} \sqrt [4]{\sqrt {c^2+d}+c} \sqrt [4]{a x-b} \left (a \left (\sqrt {c^2+d}+c\right )-b\right )^{3/4}}+\frac {2 \sqrt [4]{a} \sqrt [4]{a x^4-b x^3} \tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{a x-b}}\right )}{x^{3/4} \sqrt [4]{a x-b}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 65
Rule 95
Rule 209
Rule 211
Rule 212
Rule 214
Rule 304
Rule 338
Rule 919
Rule 2081
Rule 6860
Rubi steps
\begin {align*} \int \frac {\sqrt [4]{-b x^3+a x^4}}{-d-2 c x+x^2} \, dx &=\frac {\sqrt [4]{-b x^3+a x^4} \int \frac {x^{3/4} \sqrt [4]{-b+a x}}{-d-2 c x+x^2} \, dx}{x^{3/4} \sqrt [4]{-b+a x}}\\ &=\frac {\sqrt [4]{-b x^3+a x^4} \int \frac {a d-(b-2 a c) x}{\sqrt [4]{x} (-b+a x)^{3/4} \left (-d-2 c x+x^2\right )} \, dx}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (a \sqrt [4]{-b x^3+a x^4}\right ) \int \frac {1}{\sqrt [4]{x} (-b+a x)^{3/4}} \, dx}{x^{3/4} \sqrt [4]{-b+a x}}\\ &=\frac {\sqrt [4]{-b x^3+a x^4} \int \left (\frac {-b+2 a c+\frac {-b c+2 a c^2+a d}{\sqrt {c^2+d}}}{\sqrt [4]{x} \left (-2 c-2 \sqrt {c^2+d}+2 x\right ) (-b+a x)^{3/4}}+\frac {-b+2 a c-\frac {-b c+2 a c^2+a d}{\sqrt {c^2+d}}}{\sqrt [4]{x} \left (-2 c+2 \sqrt {c^2+d}+2 x\right ) (-b+a x)^{3/4}}\right ) \, dx}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (4 a \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {x^2}{\left (-b+a x^4\right )^{3/4}} \, dx,x,\sqrt [4]{x}\right )}{x^{3/4} \sqrt [4]{-b+a x}}\\ &=\frac {\left (4 a \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {x^2}{1-a x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (\left (-b+2 a c-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \int \frac {1}{\sqrt [4]{x} \left (-2 c-2 \sqrt {c^2+d}+2 x\right ) (-b+a x)^{3/4}} \, dx}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (\left (-b+2 a c+\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \int \frac {1}{\sqrt [4]{x} \left (-2 c+2 \sqrt {c^2+d}+2 x\right ) (-b+a x)^{3/4}} \, dx}{x^{3/4} \sqrt [4]{-b+a x}}\\ &=\frac {\left (2 \sqrt {a} \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {1}{1-\sqrt {a} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}-\frac {\left (2 \sqrt {a} \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {1}{1+\sqrt {a} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (4 \left (-b+2 a c-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {x^2}{-2 c-2 \sqrt {c^2+d}-\left (2 b+a \left (-2 c-2 \sqrt {c^2+d}\right )\right ) x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (4 \left (-b+2 a c+\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {x^2}{-2 c+2 \sqrt {c^2+d}-\left (2 b+a \left (-2 c+2 \sqrt {c^2+d}\right )\right ) x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}\\ &=-\frac {2 \sqrt [4]{a} \sqrt [4]{-b x^3+a x^4} \tan ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {2 \sqrt [4]{a} \sqrt [4]{-b x^3+a x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}-\frac {\left (\left (-b+2 a c-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {c+\sqrt {c^2+d}}-\sqrt {-b+a c+a \sqrt {c^2+d}} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{\sqrt {-b+a \left (c+\sqrt {c^2+d}\right )} x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (\left (-b+2 a c-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {c+\sqrt {c^2+d}}+\sqrt {-b+a c+a \sqrt {c^2+d}} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{\sqrt {-b+a \left (c+\sqrt {c^2+d}\right )} x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (\left (-b+2 a c+\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {-c+\sqrt {c^2+d}}-\sqrt {b-a c+a \sqrt {c^2+d}} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{\sqrt {b-a \left (c-\sqrt {c^2+d}\right )} x^{3/4} \sqrt [4]{-b+a x}}-\frac {\left (\left (-b+2 a c+\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {-c+\sqrt {c^2+d}}+\sqrt {b-a c+a \sqrt {c^2+d}} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{\sqrt {b-a \left (c-\sqrt {c^2+d}\right )} x^{3/4} \sqrt [4]{-b+a x}}\\ &=-\frac {2 \sqrt [4]{a} \sqrt [4]{-b x^3+a x^4} \tan ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (b-2 a c-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4} \tan ^{-1}\left (\frac {\sqrt [4]{b-a \left (c-\sqrt {c^2+d}\right )} \sqrt [4]{x}}{\sqrt [4]{-c+\sqrt {c^2+d}} \sqrt [4]{-b+a x}}\right )}{\sqrt [4]{-c+\sqrt {c^2+d}} \left (b-a \left (c-\sqrt {c^2+d}\right )\right )^{3/4} x^{3/4} \sqrt [4]{-b+a x}}-\frac {\left (b-2 a c+\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4} \tan ^{-1}\left (\frac {\sqrt [4]{-b+a \left (c+\sqrt {c^2+d}\right )} \sqrt [4]{x}}{\sqrt [4]{c+\sqrt {c^2+d}} \sqrt [4]{-b+a x}}\right )}{\sqrt [4]{c+\sqrt {c^2+d}} \left (-b+a \left (c+\sqrt {c^2+d}\right )\right )^{3/4} x^{3/4} \sqrt [4]{-b+a x}}+\frac {2 \sqrt [4]{a} \sqrt [4]{-b x^3+a x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{x^{3/4} \sqrt [4]{-b+a x}}-\frac {\left (b-2 a c-\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{b-a \left (c-\sqrt {c^2+d}\right )} \sqrt [4]{x}}{\sqrt [4]{-c+\sqrt {c^2+d}} \sqrt [4]{-b+a x}}\right )}{\sqrt [4]{-c+\sqrt {c^2+d}} \left (b-a \left (c-\sqrt {c^2+d}\right )\right )^{3/4} x^{3/4} \sqrt [4]{-b+a x}}+\frac {\left (b-2 a c+\frac {b c-a \left (2 c^2+d\right )}{\sqrt {c^2+d}}\right ) \sqrt [4]{-b x^3+a x^4} \tanh ^{-1}\left (\frac {\sqrt [4]{-b+a \left (c+\sqrt {c^2+d}\right )} \sqrt [4]{x}}{\sqrt [4]{c+\sqrt {c^2+d}} \sqrt [4]{-b+a x}}\right )}{\sqrt [4]{c+\sqrt {c^2+d}} \left (-b+a \left (c+\sqrt {c^2+d}\right )\right )^{3/4} x^{3/4} \sqrt [4]{-b+a x}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.53, size = 302, normalized size = 1.08 \begin {gather*} -\frac {x^{9/4} (-b+a x)^{3/4} \left (16 \sqrt [4]{a} \left (\text {ArcTan}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )-\tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )\right )+\text {RootSum}\left [b^2-2 a b c-a^2 d+2 b c \text {$\#$1}^4+2 a d \text {$\#$1}^4-d \text {$\#$1}^8\&,\frac {b^2 \log (x)-2 a b c \log (x)-a^2 d \log (x)-4 b^2 \log \left (\sqrt [4]{-b+a x}-\sqrt [4]{x} \text {$\#$1}\right )+8 a b c \log \left (\sqrt [4]{-b+a x}-\sqrt [4]{x} \text {$\#$1}\right )+4 a^2 d \log \left (\sqrt [4]{-b+a x}-\sqrt [4]{x} \text {$\#$1}\right )+a d \log (x) \text {$\#$1}^4-4 a d \log \left (\sqrt [4]{-b+a x}-\sqrt [4]{x} \text {$\#$1}\right ) \text {$\#$1}^4}{-b c \text {$\#$1}^3-a d \text {$\#$1}^3+d \text {$\#$1}^7}\&\right ]\right )}{8 \left (x^3 (-b+a x)\right )^{3/4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.13, size = 0, normalized size = 0.00 \[\int \frac {\left (a \,x^{4}-b \,x^{3}\right )^{\frac {1}{4}}}{-2 c x +x^{2}-d}\, 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*} \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 = 37.07, size = 6476, normalized size = 23.21 \begin {gather*} \text {Too large to display} \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 (a x - b\right )}}{- 2 c x - d + x^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-1)] Timed out
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]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} -\int \frac {{\left (a\,x^4-b\,x^3\right )}^{1/4}}{-x^2+2\,c\,x+d} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________