3.25.45 \(\int \frac {\sqrt [4]{-b x^3+a x^4} (-d+c x^8)}{x^4} \, dx\) [2445]

3.25.45.1 Optimal result
3.25.45.2 Mathematica [A] (verified)
3.25.45.3 Rubi [A] (verified)
3.25.45.4 Maple [A] (verified)
3.25.45.5 Fricas [C] (verification not implemented)
3.25.45.6 Sympy [F]
3.25.45.7 Maxima [F]
3.25.45.8 Giac [B] (verification not implemented)
3.25.45.9 Mupad [F(-1)]

3.25.45.1 Optimal result

Integrand size = 29, antiderivative size = 198 \[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=\frac {\sqrt [4]{-b x^3+a x^4} \left (327680 a^5 b^2 d-65536 a^6 b d x-262144 a^7 d x^2-21945 b^7 c x^3-12540 a b^6 c x^4-9120 a^2 b^5 c x^5-7296 a^3 b^4 c x^6-6144 a^4 b^3 c x^7+122880 a^5 b^2 c x^8\right )}{737280 a^5 b^2 x^3}+\frac {1463 b^6 c \arctan \left (\frac {\sqrt [4]{a} x}{\sqrt [4]{-b x^3+a x^4}}\right )}{32768 a^{23/4}}-\frac {1463 b^6 c \text {arctanh}\left (\frac {\sqrt [4]{a} x}{\sqrt [4]{-b x^3+a x^4}}\right )}{32768 a^{23/4}} \]

output
1/737280*(a*x^4-b*x^3)^(1/4)*(122880*a^5*b^2*c*x^8-6144*a^4*b^3*c*x^7-7296 
*a^3*b^4*c*x^6-9120*a^2*b^5*c*x^5-12540*a*b^6*c*x^4-21945*b^7*c*x^3-262144 
*a^7*d*x^2-65536*a^6*b*d*x+327680*a^5*b^2*d)/a^5/b^2/x^3+1463/32768*b^6*c* 
arctan(a^(1/4)*x/(a*x^4-b*x^3)^(1/4))/a^(23/4)-1463/32768*b^6*c*arctanh(a^ 
(1/4)*x/(a*x^4-b*x^3)^(1/4))/a^(23/4)
 
3.25.45.2 Mathematica [A] (verified)

Time = 1.00 (sec) , antiderivative size = 216, normalized size of antiderivative = 1.09 \[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=\frac {(-b+a x)^{3/4} \left (2 a^{3/4} \sqrt [4]{-b+a x} \left (-65536 a^6 b d x-262144 a^7 d x^2-21945 b^7 c x^3-12540 a b^6 c x^4-9120 a^2 b^5 c x^5-7296 a^3 b^4 c x^6-6144 a^4 b^3 c x^7+40960 a^5 b^2 \left (8 d+3 c x^8\right )\right )+65835 b^8 c x^{9/4} \arctan \left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )-65835 b^8 c x^{9/4} \text {arctanh}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{-b+a x}}\right )\right )}{1474560 a^{23/4} b^2 \left (x^3 (-b+a x)\right )^{3/4}} \]

input
Integrate[((-(b*x^3) + a*x^4)^(1/4)*(-d + c*x^8))/x^4,x]
 
output
((-b + a*x)^(3/4)*(2*a^(3/4)*(-b + a*x)^(1/4)*(-65536*a^6*b*d*x - 262144*a 
^7*d*x^2 - 21945*b^7*c*x^3 - 12540*a*b^6*c*x^4 - 9120*a^2*b^5*c*x^5 - 7296 
*a^3*b^4*c*x^6 - 6144*a^4*b^3*c*x^7 + 40960*a^5*b^2*(8*d + 3*c*x^8)) + 658 
35*b^8*c*x^(9/4)*ArcTan[(a^(1/4)*x^(1/4))/(-b + a*x)^(1/4)] - 65835*b^8*c* 
x^(9/4)*ArcTanh[(a^(1/4)*x^(1/4))/(-b + a*x)^(1/4)]))/(1474560*a^(23/4)*b^ 
2*(x^3*(-b + a*x))^(3/4))
 
3.25.45.3 Rubi [A] (verified)

Time = 0.64 (sec) , antiderivative size = 359, normalized size of antiderivative = 1.81, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.069, Rules used = {2449, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\sqrt [4]{a x^4-b x^3} \left (c x^8-d\right )}{x^4} \, dx\)

\(\Big \downarrow \) 2449

\(\displaystyle \int \left (c x^4 \sqrt [4]{a x^4-b x^3}-\frac {d \sqrt [4]{a x^4-b x^3}}{x^4}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {1463 b^6 c x^{9/4} (a x-b)^{3/4} \arctan \left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{a x-b}}\right )}{32768 a^{23/4} \left (a x^4-b x^3\right )^{3/4}}-\frac {1463 b^6 c x^{9/4} (a x-b)^{3/4} \text {arctanh}\left (\frac {\sqrt [4]{a} \sqrt [4]{x}}{\sqrt [4]{a x-b}}\right )}{32768 a^{23/4} \left (a x^4-b x^3\right )^{3/4}}-\frac {1463 b^5 c \sqrt [4]{a x^4-b x^3}}{49152 a^5}-\frac {209 b^4 c x \sqrt [4]{a x^4-b x^3}}{12288 a^4}-\frac {19 b^3 c x^2 \sqrt [4]{a x^4-b x^3}}{1536 a^3}-\frac {19 b^2 c x^3 \sqrt [4]{a x^4-b x^3}}{1920 a^2}-\frac {16 a d \left (a x^4-b x^3\right )^{5/4}}{45 b^2 x^5}-\frac {b c x^4 \sqrt [4]{a x^4-b x^3}}{120 a}+\frac {1}{6} c x^5 \sqrt [4]{a x^4-b x^3}-\frac {4 d \left (a x^4-b x^3\right )^{5/4}}{9 b x^6}\)

input
Int[((-(b*x^3) + a*x^4)^(1/4)*(-d + c*x^8))/x^4,x]
 
output
(-1463*b^5*c*(-(b*x^3) + a*x^4)^(1/4))/(49152*a^5) - (209*b^4*c*x*(-(b*x^3 
) + a*x^4)^(1/4))/(12288*a^4) - (19*b^3*c*x^2*(-(b*x^3) + a*x^4)^(1/4))/(1 
536*a^3) - (19*b^2*c*x^3*(-(b*x^3) + a*x^4)^(1/4))/(1920*a^2) - (b*c*x^4*( 
-(b*x^3) + a*x^4)^(1/4))/(120*a) + (c*x^5*(-(b*x^3) + a*x^4)^(1/4))/6 - (4 
*d*(-(b*x^3) + a*x^4)^(5/4))/(9*b*x^6) - (16*a*d*(-(b*x^3) + a*x^4)^(5/4)) 
/(45*b^2*x^5) + (1463*b^6*c*x^(9/4)*(-b + a*x)^(3/4)*ArcTan[(a^(1/4)*x^(1/ 
4))/(-b + a*x)^(1/4)])/(32768*a^(23/4)*(-(b*x^3) + a*x^4)^(3/4)) - (1463*b 
^6*c*x^(9/4)*(-b + a*x)^(3/4)*ArcTanh[(a^(1/4)*x^(1/4))/(-b + a*x)^(1/4)]) 
/(32768*a^(23/4)*(-(b*x^3) + a*x^4)^(3/4))
 

3.25.45.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 2449
Int[(Pq_)*((c_.)*(x_))^(m_.)*((a_.)*(x_)^(j_.) + (b_.)*(x_)^(n_))^(p_), x_S 
ymbol] :> Int[ExpandIntegrand[(c*x)^m*Pq*(a*x^j + b*x^n)^p, x], x] /; FreeQ 
[{a, b, c, j, m, n, p}, x] && (PolyQ[Pq, x] || PolyQ[Pq, x^n]) &&  !Integer 
Q[p] && NeQ[n, j]
 
3.25.45.4 Maple [A] (verified)

Time = 0.52 (sec) , antiderivative size = 204, normalized size of antiderivative = 1.03

method result size
pseudoelliptic \(-\frac {19 \left (\frac {231 \ln \left (\frac {-a^{\frac {1}{4}} x -\left (x^{3} \left (a x -b \right )\right )^{\frac {1}{4}}}{a^{\frac {1}{4}} x -\left (x^{3} \left (a x -b \right )\right )^{\frac {1}{4}}}\right ) b^{8} c \,x^{3}}{128}+\frac {231 \arctan \left (\frac {\left (x^{3} \left (a x -b \right )\right )^{\frac {1}{4}}}{a^{\frac {1}{4}} x}\right ) b^{8} c \,x^{3}}{64}+\left (x^{3} \left (a x -b \right )\right )^{\frac {1}{4}} \left (-\frac {256 b^{2} \left (c \,x^{8}+\frac {8 d}{3}\right ) a^{\frac {23}{4}}}{19}+x \left (a^{\frac {11}{4}} b^{5} c \,x^{4}+\frac {4 a^{\frac {15}{4}} b^{4} c \,x^{5}}{5}+\frac {64 a^{\frac {19}{4}} b^{3} c \,x^{6}}{95}+\frac {2048 a^{\frac {27}{4}} b d}{285}+\frac {8192 a^{\frac {31}{4}} d x}{285}+\frac {77 b^{6} x^{2} c \left (a^{\frac {3}{4}} b +\frac {4 a^{\frac {7}{4}} x}{7}\right )}{32}\right )\right )\right )}{1536 a^{\frac {23}{4}} x^{3} b^{2}}\) \(204\)

input
int((a*x^4-b*x^3)^(1/4)*(c*x^8-d)/x^4,x,method=_RETURNVERBOSE)
 
output
-19/1536/a^(23/4)*(231/128*ln((-a^(1/4)*x-(x^3*(a*x-b))^(1/4))/(a^(1/4)*x- 
(x^3*(a*x-b))^(1/4)))*b^8*c*x^3+231/64*arctan(1/a^(1/4)/x*(x^3*(a*x-b))^(1 
/4))*b^8*c*x^3+(x^3*(a*x-b))^(1/4)*(-256/19*b^2*(c*x^8+8/3*d)*a^(23/4)+x*( 
a^(11/4)*b^5*c*x^4+4/5*a^(15/4)*b^4*c*x^5+64/95*a^(19/4)*b^3*c*x^6+2048/28 
5*a^(27/4)*b*d+8192/285*a^(31/4)*d*x+77/32*b^6*x^2*c*(a^(3/4)*b+4/7*a^(7/4 
)*x))))/x^3/b^2
 
3.25.45.5 Fricas [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.31 (sec) , antiderivative size = 389, normalized size of antiderivative = 1.96 \[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=-\frac {65835 \, \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{5} b^{2} x^{3} \log \left (\frac {1463 \, {\left ({\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} b^{6} c + \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{6} x\right )}}{x}\right ) + 65835 i \, \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{5} b^{2} x^{3} \log \left (\frac {1463 \, {\left ({\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} b^{6} c + i \, \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{6} x\right )}}{x}\right ) - 65835 i \, \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{5} b^{2} x^{3} \log \left (\frac {1463 \, {\left ({\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} b^{6} c - i \, \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{6} x\right )}}{x}\right ) - 65835 \, \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{5} b^{2} x^{3} \log \left (\frac {1463 \, {\left ({\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}} b^{6} c - \left (\frac {b^{24} c^{4}}{a^{23}}\right )^{\frac {1}{4}} a^{6} x\right )}}{x}\right ) - 4 \, {\left (122880 \, a^{5} b^{2} c x^{8} - 6144 \, a^{4} b^{3} c x^{7} - 7296 \, a^{3} b^{4} c x^{6} - 9120 \, a^{2} b^{5} c x^{5} - 12540 \, a b^{6} c x^{4} - 21945 \, b^{7} c x^{3} - 262144 \, a^{7} d x^{2} - 65536 \, a^{6} b d x + 327680 \, a^{5} b^{2} d\right )} {\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}}}{2949120 \, a^{5} b^{2} x^{3}} \]

input
integrate((a*x^4-b*x^3)^(1/4)*(c*x^8-d)/x^4,x, algorithm="fricas")
 
output
-1/2949120*(65835*(b^24*c^4/a^23)^(1/4)*a^5*b^2*x^3*log(1463*((a*x^4 - b*x 
^3)^(1/4)*b^6*c + (b^24*c^4/a^23)^(1/4)*a^6*x)/x) + 65835*I*(b^24*c^4/a^23 
)^(1/4)*a^5*b^2*x^3*log(1463*((a*x^4 - b*x^3)^(1/4)*b^6*c + I*(b^24*c^4/a^ 
23)^(1/4)*a^6*x)/x) - 65835*I*(b^24*c^4/a^23)^(1/4)*a^5*b^2*x^3*log(1463*( 
(a*x^4 - b*x^3)^(1/4)*b^6*c - I*(b^24*c^4/a^23)^(1/4)*a^6*x)/x) - 65835*(b 
^24*c^4/a^23)^(1/4)*a^5*b^2*x^3*log(1463*((a*x^4 - b*x^3)^(1/4)*b^6*c - (b 
^24*c^4/a^23)^(1/4)*a^6*x)/x) - 4*(122880*a^5*b^2*c*x^8 - 6144*a^4*b^3*c*x 
^7 - 7296*a^3*b^4*c*x^6 - 9120*a^2*b^5*c*x^5 - 12540*a*b^6*c*x^4 - 21945*b 
^7*c*x^3 - 262144*a^7*d*x^2 - 65536*a^6*b*d*x + 327680*a^5*b^2*d)*(a*x^4 - 
 b*x^3)^(1/4))/(a^5*b^2*x^3)
 
3.25.45.6 Sympy [F]

\[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=\int \frac {\sqrt [4]{x^{3} \left (a x - b\right )} \left (c x^{8} - d\right )}{x^{4}}\, dx \]

input
integrate((a*x**4-b*x**3)**(1/4)*(c*x**8-d)/x**4,x)
 
output
Integral((x**3*(a*x - b))**(1/4)*(c*x**8 - d)/x**4, x)
 
3.25.45.7 Maxima [F]

\[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=\int { \frac {{\left (c x^{8} - d\right )} {\left (a x^{4} - b x^{3}\right )}^{\frac {1}{4}}}{x^{4}} \,d x } \]

input
integrate((a*x^4-b*x^3)^(1/4)*(c*x^8-d)/x^4,x, algorithm="maxima")
 
output
integrate((c*x^8 - d)*(a*x^4 - b*x^3)^(1/4)/x^4, x)
 
3.25.45.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 373 vs. \(2 (178) = 356\).

Time = 0.34 (sec) , antiderivative size = 373, normalized size of antiderivative = 1.88 \[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=\frac {\frac {131670 \, \sqrt {2} b^{7} c \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}} a^{5}} + \frac {131670 \, \sqrt {2} b^{7} c \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}} a^{5}} + \frac {65835 \, \sqrt {2} b^{7} c \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}} a^{5}} + \frac {65835 \, \sqrt {2} \left (-a\right )^{\frac {1}{4}} b^{7} c \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 )}{a^{6}} + \frac {24 \, {\left (7315 \, {\left (a - \frac {b}{x}\right )}^{\frac {21}{4}} b^{7} c - 40755 \, {\left (a - \frac {b}{x}\right )}^{\frac {17}{4}} a b^{7} c + 92910 \, {\left (a - \frac {b}{x}\right )}^{\frac {13}{4}} a^{2} b^{7} c - 109782 \, {\left (a - \frac {b}{x}\right )}^{\frac {9}{4}} a^{3} b^{7} c + 69327 \, {\left (a - \frac {b}{x}\right )}^{\frac {5}{4}} a^{4} b^{7} c + 21945 \, {\left (a - \frac {b}{x}\right )}^{\frac {1}{4}} a^{5} b^{7} c\right )} x^{6}}{a^{5} b^{6}} + \frac {524288 \, {\left (5 \, {\left (a - \frac {b}{x}\right )}^{\frac {9}{4}} b^{8} d - 9 \, {\left (a - \frac {b}{x}\right )}^{\frac {5}{4}} a b^{8} d\right )}}{b^{9}}}{5898240 \, b} \]

input
integrate((a*x^4-b*x^3)^(1/4)*(c*x^8-d)/x^4,x, algorithm="giac")
 
output
1/5898240*(131670*sqrt(2)*b^7*c*arctan(1/2*sqrt(2)*(sqrt(2)*(-a)^(1/4) + 2 
*(a - b/x)^(1/4))/(-a)^(1/4))/((-a)^(3/4)*a^5) + 131670*sqrt(2)*b^7*c*arct 
an(-1/2*sqrt(2)*(sqrt(2)*(-a)^(1/4) - 2*(a - b/x)^(1/4))/(-a)^(1/4))/((-a) 
^(3/4)*a^5) + 65835*sqrt(2)*b^7*c*log(sqrt(2)*(-a)^(1/4)*(a - b/x)^(1/4) + 
 sqrt(-a) + sqrt(a - b/x))/((-a)^(3/4)*a^5) + 65835*sqrt(2)*(-a)^(1/4)*b^7 
*c*log(-sqrt(2)*(-a)^(1/4)*(a - b/x)^(1/4) + sqrt(-a) + sqrt(a - b/x))/a^6 
 + 24*(7315*(a - b/x)^(21/4)*b^7*c - 40755*(a - b/x)^(17/4)*a*b^7*c + 9291 
0*(a - b/x)^(13/4)*a^2*b^7*c - 109782*(a - b/x)^(9/4)*a^3*b^7*c + 69327*(a 
 - b/x)^(5/4)*a^4*b^7*c + 21945*(a - b/x)^(1/4)*a^5*b^7*c)*x^6/(a^5*b^6) + 
 524288*(5*(a - b/x)^(9/4)*b^8*d - 9*(a - b/x)^(5/4)*a*b^8*d)/b^9)/b
 
3.25.45.9 Mupad [F(-1)]

Timed out. \[ \int \frac {\sqrt [4]{-b x^3+a x^4} \left (-d+c x^8\right )}{x^4} \, dx=-\int \frac {\left (d-c\,x^8\right )\,{\left (a\,x^4-b\,x^3\right )}^{1/4}}{x^4} \,d x \]

input
int(-((d - c*x^8)*(a*x^4 - b*x^3)^(1/4))/x^4,x)
 
output
-int(((d - c*x^8)*(a*x^4 - b*x^3)^(1/4))/x^4, x)