Optimal. Leaf size=111 \[ \frac {(b c-4 a d) \tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{a x^4-b x^3}}\right )}{2 a^{3/4}}+\frac {(4 a d-b c) \tanh ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{a x^4-b x^3}}\right )}{2 a^{3/4}}+\frac {\sqrt [4]{a x^4-b x^3} (c x-4 d)}{x} \]
________________________________________________________________________________________
Rubi [A] time = 0.28, antiderivative size = 198, normalized size of antiderivative = 1.78, number of steps used = 8, number of rules used = 8, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.320, Rules used = {2038, 2021, 2032, 63, 331, 298, 203, 206} \begin {gather*} \frac {x^{9/4} (a x-b)^{3/4} (b c-4 a d) \tan ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{a x-b}}\right )}{2 a^{3/4} \left (a x^4-b x^3\right )^{3/4}}-\frac {x^{9/4} (a x-b)^{3/4} (b c-4 a d) \tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{a x-b}}\right )}{2 a^{3/4} \left (a x^4-b x^3\right )^{3/4}}+\frac {\sqrt [4]{a x^4-b x^3} (b c-4 a d)}{b}+\frac {4 d \left (a x^4-b x^3\right )^{5/4}}{b x^4} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 63
Rule 203
Rule 206
Rule 298
Rule 331
Rule 2021
Rule 2032
Rule 2038
Rubi steps
\begin {align*} \int \frac {(d+c x) \sqrt [4]{-b x^3+a x^4}}{x^2} \, dx &=\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {\left (4 \left (\frac {b c}{4}-a d\right )\right ) \int \frac {\sqrt [4]{-b x^3+a x^4}}{x} \, dx}{b}\\ &=\frac {(b c-4 a d) \sqrt [4]{-b x^3+a x^4}}{b}+\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {1}{4} (-b c+4 a d) \int \frac {x^2}{\left (-b x^3+a x^4\right )^{3/4}} \, dx\\ &=\frac {(b c-4 a d) \sqrt [4]{-b x^3+a x^4}}{b}+\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {\left ((-b c+4 a d) x^{9/4} (-b+a x)^{3/4}\right ) \int \frac {1}{\sqrt [4]{x} (-b+a x)^{3/4}} \, dx}{4 \left (-b x^3+a x^4\right )^{3/4}}\\ &=\frac {(b c-4 a d) \sqrt [4]{-b x^3+a x^4}}{b}+\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {\left ((-b c+4 a d) x^{9/4} (-b+a x)^{3/4}\right ) \operatorname {Subst}\left (\int \frac {x^2}{\left (-b+a x^4\right )^{3/4}} \, dx,x,\sqrt [4]{x}\right )}{\left (-b x^3+a x^4\right )^{3/4}}\\ &=\frac {(b c-4 a d) \sqrt [4]{-b x^3+a x^4}}{b}+\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {\left ((-b c+4 a d) x^{9/4} (-b+a x)^{3/4}\right ) \operatorname {Subst}\left (\int \frac {x^2}{1-a x^4} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{\left (-b x^3+a x^4\right )^{3/4}}\\ &=\frac {(b c-4 a d) \sqrt [4]{-b x^3+a x^4}}{b}+\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {\left ((-b c+4 a d) x^{9/4} (-b+a x)^{3/4}\right ) \operatorname {Subst}\left (\int \frac {1}{1-\sqrt {a} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{2 \sqrt {a} \left (-b x^3+a x^4\right )^{3/4}}-\frac {\left ((-b c+4 a d) x^{9/4} (-b+a x)^{3/4}\right ) \operatorname {Subst}\left (\int \frac {1}{1+\sqrt {a} x^2} \, dx,x,\frac {\sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{2 \sqrt {a} \left (-b x^3+a x^4\right )^{3/4}}\\ &=\frac {(b c-4 a d) \sqrt [4]{-b x^3+a x^4}}{b}+\frac {4 d \left (-b x^3+a x^4\right )^{5/4}}{b x^4}+\frac {(b c-4 a d) x^{9/4} (-b+a x)^{3/4} \tan ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{2 a^{3/4} \left (-b x^3+a x^4\right )^{3/4}}-\frac {(b c-4 a d) x^{9/4} (-b+a x)^{3/4} \tanh ^{-1}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )}{2 a^{3/4} \left (-b x^3+a x^4\right )^{3/4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] time = 0.05, size = 87, normalized size = 0.78 \begin {gather*} \frac {4 \sqrt [4]{x^3 (a x-b)} \left (x (b c-4 a d) \, _2F_1\left (-\frac {1}{4},\frac {3}{4};\frac {7}{4};\frac {a x}{b}\right )-3 d (b-a x) \sqrt [4]{1-\frac {a x}{b}}\right )}{3 b x \sqrt [4]{1-\frac {a x}{b}}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.66, size = 111, normalized size = 1.00 \begin {gather*} \frac {(-4 d+c x) \sqrt [4]{-b x^3+a x^4}}{x}+\frac {(b c-4 a d) \tan ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{-b x^3+a x^4}}\right )}{2 a^{3/4}}+\frac {(-b c+4 a d) \tanh ^{-1}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{-b x^3+a x^4}}\right )}{2 a^{3/4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.66, size = 693, normalized size = 6.24 \begin {gather*} -\frac {4 \, x \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {1}{4}} \arctan \left (\frac {a^{2} x \sqrt {\frac {a^{2} x^{2} \sqrt {\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}} + \sqrt {a x^{4} - b x^{3}} {\left (b^{2} c^{2} - 8 \, a b c d + 16 \, a^{2} d^{2}\right )}}{x^{2}}} \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {3}{4}} + {\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} {\left (a^{2} b c - 4 \, a^{3} d\right )} \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {3}{4}}}{{\left (b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}\right )} x}\right ) + x \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {1}{4}} \log \left (-\frac {a x \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {1}{4}} + {\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} {\left (b c - 4 \, a d\right )}}{x}\right ) - x \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {1}{4}} \log \left (\frac {a x \left (\frac {b^{4} c^{4} - 16 \, a b^{3} c^{3} d + 96 \, a^{2} b^{2} c^{2} d^{2} - 256 \, a^{3} b c d^{3} + 256 \, a^{4} d^{4}}{a^{3}}\right )^{\frac {1}{4}} - {\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} {\left (b c - 4 \, a d\right )}}{x}\right ) - 4 \, {\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} {\left (c x - 4 \, d\right )}}{4 \, x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.22, size = 257, normalized size = 2.32 \begin {gather*} \frac {8 \, {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}} b c x - 32 \, {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}} b d + \frac {2 \, \sqrt {2} {\left (b^{2} c - 4 \, a b d\right )} \arctan \left (\frac {\sqrt {2} {\left (\sqrt {2} \left (-a\right )^{\frac {1}{4}} + 2 \, {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}}\right )}}{2 \, \left (-a\right )^{\frac {1}{4}}}\right )}{\left (-a\right )^{\frac {3}{4}}} + \frac {2 \, \sqrt {2} {\left (b^{2} c - 4 \, a b d\right )} \arctan \left (-\frac {\sqrt {2} {\left (\sqrt {2} \left (-a\right )^{\frac {1}{4}} - 2 \, {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}}\right )}}{2 \, \left (-a\right )^{\frac {1}{4}}}\right )}{\left (-a\right )^{\frac {3}{4}}} + \frac {\sqrt {2} {\left (b^{2} c - 4 \, a b d\right )} \log \left (\sqrt {2} \left (-a\right )^{\frac {1}{4}} {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}} + \sqrt {-a} + \sqrt {a - \frac {b}{x}}\right )}{\left (-a\right )^{\frac {3}{4}}} - \frac {\sqrt {2} {\left (b^{2} c - 4 \, a b d\right )} \log \left (-\sqrt {2} \left (-a\right )^{\frac {1}{4}} {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}} + \sqrt {-a} + \sqrt {a - \frac {b}{x}}\right )}{\left (-a\right )^{\frac {3}{4}}}}{8 \, b} \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 {\left (c x +d \right ) \left (a \,x^{4}-b \,x^{3}\right )^{\frac {1}{4}}}{x^{2}}\, 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 {{\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} {\left (c x + d\right )}}{x^{2}}\,{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 {{\left (a\,x^4-b\,x^3\right )}^{1/4}\,\left (d+c\,x\right )}{x^2} \,d x \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 )} \left (c x + d\right )}{x^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________