3.19.33 \(\int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+(-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8) \log (x)+(12 x^3+24 x^4-24 x^5-48 x^6) \log ^2(x)+(8 x^3+16 x^4) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+(6 x^3-24 x^5+24 x^7) \log (x)+(12 x^3-24 x^5) \log ^2(x)+8 x^3 \log ^3(x)} \, dx\) [1833]

3.19.33.1 Optimal result
3.19.33.2 Mathematica [A] (verified)
3.19.33.3 Rubi [F]
3.19.33.4 Maple [A] (verified)
3.19.33.5 Fricas [B] (verification not implemented)
3.19.33.6 Sympy [B] (verification not implemented)
3.19.33.7 Maxima [B] (verification not implemented)
3.19.33.8 Giac [B] (verification not implemented)
3.19.33.9 Mupad [F(-1)]

3.19.33.1 Optimal result

Integrand size = 193, antiderivative size = 27 \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=-2+x+\left (-x+\frac {2}{x \left (\frac {1}{2}-x^2+\log (x)\right )}\right )^2 \]

output
(2/x/(ln(x)+1/2-x^2)-x)^2-2+x
 
3.19.33.2 Mathematica [A] (verified)

Time = 0.07 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.41 \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=x+x^2+\frac {16}{x^2 \left (1-2 x^2+2 \log (x)\right )^2}-\frac {8}{1-2 x^2+2 \log (x)} \]

input
Integrate[(-96 + 208*x^2 + x^3 - 62*x^4 - 6*x^5 + 52*x^6 + 12*x^7 + 24*x^8 
 - 8*x^9 - 16*x^10 + (-64 + 32*x^2 + 6*x^3 - 52*x^4 - 24*x^5 - 48*x^6 + 24 
*x^7 + 48*x^8)*Log[x] + (12*x^3 + 24*x^4 - 24*x^5 - 48*x^6)*Log[x]^2 + (8* 
x^3 + 16*x^4)*Log[x]^3)/(x^3 - 6*x^5 + 12*x^7 - 8*x^9 + (6*x^3 - 24*x^5 + 
24*x^7)*Log[x] + (12*x^3 - 24*x^5)*Log[x]^2 + 8*x^3*Log[x]^3),x]
 
output
x + x^2 + 16/(x^2*(1 - 2*x^2 + 2*Log[x])^2) - 8/(1 - 2*x^2 + 2*Log[x])
 
3.19.33.3 Rubi [F]

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 {-16 x^{10}-8 x^9+24 x^8+12 x^7+52 x^6-6 x^5-62 x^4+x^3+208 x^2+\left (16 x^4+8 x^3\right ) \log ^3(x)+\left (-48 x^6-24 x^5+24 x^4+12 x^3\right ) \log ^2(x)+\left (48 x^8+24 x^7-48 x^6-24 x^5-52 x^4+6 x^3+32 x^2-64\right ) \log (x)-96}{-8 x^9+12 x^7-6 x^5+x^3+8 x^3 \log ^3(x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+\left (24 x^7-24 x^5+6 x^3\right ) \log (x)} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {-16 x^{10}-8 x^9+24 x^8+12 x^7+52 x^6-6 x^5-62 x^4+x^3+208 x^2+\left (16 x^4+8 x^3\right ) \log ^3(x)+\left (-48 x^6-24 x^5+24 x^4+12 x^3\right ) \log ^2(x)+\left (48 x^8+24 x^7-48 x^6-24 x^5-52 x^4+6 x^3+32 x^2-64\right ) \log (x)-96}{x^3 \left (-2 x^2+2 \log (x)+1\right )^3}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (-\frac {64 \left (2 x^2-1\right )}{x^3 \left (2 x^2-2 \log (x)-1\right )^3}-\frac {16 \left (2 x^4-x^2+2\right )}{x^3 \left (2 x^2-2 \log (x)-1\right )^2}+2 x+1\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -128 \int \frac {1}{x \left (2 x^2-2 \log (x)-1\right )^3}dx+16 \int \frac {1}{x \left (2 x^2-2 \log (x)-1\right )^2}dx-32 \int \frac {x}{\left (2 x^2-2 \log (x)-1\right )^2}dx+64 \int \frac {1}{x^3 \left (2 x^2-2 \log (x)-1\right )^3}dx-32 \int \frac {1}{x^3 \left (2 x^2-2 \log (x)-1\right )^2}dx+x^2+x\)

input
Int[(-96 + 208*x^2 + x^3 - 62*x^4 - 6*x^5 + 52*x^6 + 12*x^7 + 24*x^8 - 8*x 
^9 - 16*x^10 + (-64 + 32*x^2 + 6*x^3 - 52*x^4 - 24*x^5 - 48*x^6 + 24*x^7 + 
 48*x^8)*Log[x] + (12*x^3 + 24*x^4 - 24*x^5 - 48*x^6)*Log[x]^2 + (8*x^3 + 
16*x^4)*Log[x]^3)/(x^3 - 6*x^5 + 12*x^7 - 8*x^9 + (6*x^3 - 24*x^5 + 24*x^7 
)*Log[x] + (12*x^3 - 24*x^5)*Log[x]^2 + 8*x^3*Log[x]^3),x]
 
output
$Aborted
 

3.19.33.3.1 Defintions of rubi rules used

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

rule 7292
Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =! 
= u]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.19.33.4 Maple [A] (verified)

Time = 0.38 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.59

method result size
risch \(x^{2}+x +\frac {16 x^{4}-16 x^{2} \ln \left (x \right )-8 x^{2}+16}{x^{2} \left (2 x^{2}-2 \ln \left (x \right )-1\right )^{2}}\) \(43\)
default \(x^{2}+x +\frac {16}{\left (2 \ln \left (x \right )+1\right )^{2} x^{2}}-\frac {8 \left (-8 x^{2} \ln \left (x \right )^{2}+8 \ln \left (x \right )^{3}-8 x^{2} \ln \left (x \right )+12 \ln \left (x \right )^{2}+6 x^{2}-10 \ln \left (x \right )-7\right )}{\left (4 \ln \left (x \right )^{2}+4 \ln \left (x \right )+1\right ) \left (-2 x^{2}+2 \ln \left (x \right )+1\right )^{2}}\) \(87\)
parallelrisch \(\frac {64-32 x^{6} \ln \left (x \right )-32 x^{5} \ln \left (x \right )+16 x^{4} \ln \left (x \right )^{2}+16 x^{4} \ln \left (x \right )+16 x^{3} \ln \left (x \right )^{2}+16 x^{7}+16 x^{8}-16 x^{6}-16 x^{5}+68 x^{4}+4 x^{3}-32 x^{2}+16 x^{3} \ln \left (x \right )-64 x^{2} \ln \left (x \right )}{4 x^{2} \left (4 x^{4}-8 x^{2} \ln \left (x \right )-4 x^{2}+4 \ln \left (x \right )^{2}+4 \ln \left (x \right )+1\right )}\) \(127\)

input
int(((16*x^4+8*x^3)*ln(x)^3+(-48*x^6-24*x^5+24*x^4+12*x^3)*ln(x)^2+(48*x^8 
+24*x^7-48*x^6-24*x^5-52*x^4+6*x^3+32*x^2-64)*ln(x)-16*x^10-8*x^9+24*x^8+1 
2*x^7+52*x^6-6*x^5-62*x^4+x^3+208*x^2-96)/(8*x^3*ln(x)^3+(-24*x^5+12*x^3)* 
ln(x)^2+(24*x^7-24*x^5+6*x^3)*ln(x)-8*x^9+12*x^7-6*x^5+x^3),x,method=_RETU 
RNVERBOSE)
 
output
x^2+x+8*(2*x^4-2*x^2*ln(x)-x^2+2)/x^2/(2*x^2-2*ln(x)-1)^2
 
3.19.33.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 119 vs. \(2 (25) = 50\).

Time = 0.26 (sec) , antiderivative size = 119, normalized size of antiderivative = 4.41 \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=\frac {4 \, x^{8} + 4 \, x^{7} - 4 \, x^{6} - 4 \, x^{5} + 17 \, x^{4} + x^{3} + 4 \, {\left (x^{4} + x^{3}\right )} \log \left (x\right )^{2} - 8 \, x^{2} - 4 \, {\left (2 \, x^{6} + 2 \, x^{5} - x^{4} - x^{3} + 4 \, x^{2}\right )} \log \left (x\right ) + 16}{4 \, x^{6} - 4 \, x^{4} + 4 \, x^{2} \log \left (x\right )^{2} + x^{2} - 4 \, {\left (2 \, x^{4} - x^{2}\right )} \log \left (x\right )} \]

input
integrate(((16*x^4+8*x^3)*log(x)^3+(-48*x^6-24*x^5+24*x^4+12*x^3)*log(x)^2 
+(48*x^8+24*x^7-48*x^6-24*x^5-52*x^4+6*x^3+32*x^2-64)*log(x)-16*x^10-8*x^9 
+24*x^8+12*x^7+52*x^6-6*x^5-62*x^4+x^3+208*x^2-96)/(8*x^3*log(x)^3+(-24*x^ 
5+12*x^3)*log(x)^2+(24*x^7-24*x^5+6*x^3)*log(x)-8*x^9+12*x^7-6*x^5+x^3),x, 
 algorithm=\
 
output
(4*x^8 + 4*x^7 - 4*x^6 - 4*x^5 + 17*x^4 + x^3 + 4*(x^4 + x^3)*log(x)^2 - 8 
*x^2 - 4*(2*x^6 + 2*x^5 - x^4 - x^3 + 4*x^2)*log(x) + 16)/(4*x^6 - 4*x^4 + 
 4*x^2*log(x)^2 + x^2 - 4*(2*x^4 - x^2)*log(x))
 
3.19.33.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 61 vs. \(2 (19) = 38\).

Time = 0.09 (sec) , antiderivative size = 61, normalized size of antiderivative = 2.26 \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=x^{2} + x + \frac {16 x^{4} - 16 x^{2} \log {\left (x \right )} - 8 x^{2} + 16}{4 x^{6} - 4 x^{4} + 4 x^{2} \log {\left (x \right )}^{2} + x^{2} + \left (- 8 x^{4} + 4 x^{2}\right ) \log {\left (x \right )}} \]

input
integrate(((16*x**4+8*x**3)*ln(x)**3+(-48*x**6-24*x**5+24*x**4+12*x**3)*ln 
(x)**2+(48*x**8+24*x**7-48*x**6-24*x**5-52*x**4+6*x**3+32*x**2-64)*ln(x)-1 
6*x**10-8*x**9+24*x**8+12*x**7+52*x**6-6*x**5-62*x**4+x**3+208*x**2-96)/(8 
*x**3*ln(x)**3+(-24*x**5+12*x**3)*ln(x)**2+(24*x**7-24*x**5+6*x**3)*ln(x)- 
8*x**9+12*x**7-6*x**5+x**3),x)
 
output
x**2 + x + (16*x**4 - 16*x**2*log(x) - 8*x**2 + 16)/(4*x**6 - 4*x**4 + 4*x 
**2*log(x)**2 + x**2 + (-8*x**4 + 4*x**2)*log(x))
 
3.19.33.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 119 vs. \(2 (25) = 50\).

Time = 0.24 (sec) , antiderivative size = 119, normalized size of antiderivative = 4.41 \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=\frac {4 \, x^{8} + 4 \, x^{7} - 4 \, x^{6} - 4 \, x^{5} + 17 \, x^{4} + x^{3} + 4 \, {\left (x^{4} + x^{3}\right )} \log \left (x\right )^{2} - 8 \, x^{2} - 4 \, {\left (2 \, x^{6} + 2 \, x^{5} - x^{4} - x^{3} + 4 \, x^{2}\right )} \log \left (x\right ) + 16}{4 \, x^{6} - 4 \, x^{4} + 4 \, x^{2} \log \left (x\right )^{2} + x^{2} - 4 \, {\left (2 \, x^{4} - x^{2}\right )} \log \left (x\right )} \]

input
integrate(((16*x^4+8*x^3)*log(x)^3+(-48*x^6-24*x^5+24*x^4+12*x^3)*log(x)^2 
+(48*x^8+24*x^7-48*x^6-24*x^5-52*x^4+6*x^3+32*x^2-64)*log(x)-16*x^10-8*x^9 
+24*x^8+12*x^7+52*x^6-6*x^5-62*x^4+x^3+208*x^2-96)/(8*x^3*log(x)^3+(-24*x^ 
5+12*x^3)*log(x)^2+(24*x^7-24*x^5+6*x^3)*log(x)-8*x^9+12*x^7-6*x^5+x^3),x, 
 algorithm=\
 
output
(4*x^8 + 4*x^7 - 4*x^6 - 4*x^5 + 17*x^4 + x^3 + 4*(x^4 + x^3)*log(x)^2 - 8 
*x^2 - 4*(2*x^6 + 2*x^5 - x^4 - x^3 + 4*x^2)*log(x) + 16)/(4*x^6 - 4*x^4 + 
 4*x^2*log(x)^2 + x^2 - 4*(2*x^4 - x^2)*log(x))
 
3.19.33.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 65 vs. \(2 (25) = 50\).

Time = 0.29 (sec) , antiderivative size = 65, normalized size of antiderivative = 2.41 \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=x^{2} + x + \frac {8 \, {\left (2 \, x^{4} - 2 \, x^{2} \log \left (x\right ) - x^{2} + 2\right )}}{4 \, x^{6} - 8 \, x^{4} \log \left (x\right ) - 4 \, x^{4} + 4 \, x^{2} \log \left (x\right )^{2} + 4 \, x^{2} \log \left (x\right ) + x^{2}} \]

input
integrate(((16*x^4+8*x^3)*log(x)^3+(-48*x^6-24*x^5+24*x^4+12*x^3)*log(x)^2 
+(48*x^8+24*x^7-48*x^6-24*x^5-52*x^4+6*x^3+32*x^2-64)*log(x)-16*x^10-8*x^9 
+24*x^8+12*x^7+52*x^6-6*x^5-62*x^4+x^3+208*x^2-96)/(8*x^3*log(x)^3+(-24*x^ 
5+12*x^3)*log(x)^2+(24*x^7-24*x^5+6*x^3)*log(x)-8*x^9+12*x^7-6*x^5+x^3),x, 
 algorithm=\
 
output
x^2 + x + 8*(2*x^4 - 2*x^2*log(x) - x^2 + 2)/(4*x^6 - 8*x^4*log(x) - 4*x^4 
 + 4*x^2*log(x)^2 + 4*x^2*log(x) + x^2)
 
3.19.33.9 Mupad [F(-1)]

Timed out. \[ \int \frac {-96+208 x^2+x^3-62 x^4-6 x^5+52 x^6+12 x^7+24 x^8-8 x^9-16 x^{10}+\left (-64+32 x^2+6 x^3-52 x^4-24 x^5-48 x^6+24 x^7+48 x^8\right ) \log (x)+\left (12 x^3+24 x^4-24 x^5-48 x^6\right ) \log ^2(x)+\left (8 x^3+16 x^4\right ) \log ^3(x)}{x^3-6 x^5+12 x^7-8 x^9+\left (6 x^3-24 x^5+24 x^7\right ) \log (x)+\left (12 x^3-24 x^5\right ) \log ^2(x)+8 x^3 \log ^3(x)} \, dx=\int \frac {\ln \left (x\right )\,\left (48\,x^8+24\,x^7-48\,x^6-24\,x^5-52\,x^4+6\,x^3+32\,x^2-64\right )+{\ln \left (x\right )}^3\,\left (16\,x^4+8\,x^3\right )+208\,x^2+x^3-62\,x^4-6\,x^5+52\,x^6+12\,x^7+24\,x^8-8\,x^9-16\,x^{10}+{\ln \left (x\right )}^2\,\left (-48\,x^6-24\,x^5+24\,x^4+12\,x^3\right )-96}{\ln \left (x\right )\,\left (24\,x^7-24\,x^5+6\,x^3\right )+{\ln \left (x\right )}^2\,\left (12\,x^3-24\,x^5\right )+8\,x^3\,{\ln \left (x\right )}^3+x^3-6\,x^5+12\,x^7-8\,x^9} \,d x \]

input
int((log(x)*(32*x^2 + 6*x^3 - 52*x^4 - 24*x^5 - 48*x^6 + 24*x^7 + 48*x^8 - 
 64) + log(x)^3*(8*x^3 + 16*x^4) + 208*x^2 + x^3 - 62*x^4 - 6*x^5 + 52*x^6 
 + 12*x^7 + 24*x^8 - 8*x^9 - 16*x^10 + log(x)^2*(12*x^3 + 24*x^4 - 24*x^5 
- 48*x^6) - 96)/(log(x)*(6*x^3 - 24*x^5 + 24*x^7) + log(x)^2*(12*x^3 - 24* 
x^5) + 8*x^3*log(x)^3 + x^3 - 6*x^5 + 12*x^7 - 8*x^9),x)
 
output
int((log(x)*(32*x^2 + 6*x^3 - 52*x^4 - 24*x^5 - 48*x^6 + 24*x^7 + 48*x^8 - 
 64) + log(x)^3*(8*x^3 + 16*x^4) + 208*x^2 + x^3 - 62*x^4 - 6*x^5 + 52*x^6 
 + 12*x^7 + 24*x^8 - 8*x^9 - 16*x^10 + log(x)^2*(12*x^3 + 24*x^4 - 24*x^5 
- 48*x^6) - 96)/(log(x)*(6*x^3 - 24*x^5 + 24*x^7) + log(x)^2*(12*x^3 - 24* 
x^5) + 8*x^3*log(x)^3 + x^3 - 6*x^5 + 12*x^7 - 8*x^9), x)