3.10.84 \(\int \frac {-10 x-5 x^2+(40 x+40 x^2) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+((-10 x-10 x^2) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)) \log (\log (x))}{(64 x^3+64 x^4+16 x^5) \log (x)+(128 x^2+128 x^3+32 x^4) \log ^3(x)+(64 x+64 x^2+16 x^3) \log ^5(x)+((-32 x^3-32 x^4-8 x^5) \log (x)+(-64 x^2-64 x^3-16 x^4) \log ^3(x)+(-32 x-32 x^2-8 x^3) \log ^5(x)) \log (\log (x))+((4 x^3+4 x^4+x^5) \log (x)+(8 x^2+8 x^3+2 x^4) \log ^3(x)+(4 x+4 x^2+x^3) \log ^5(x)) \log ^2(\log (x))} \, dx\) [984]

3.10.84.1 Optimal result
3.10.84.2 Mathematica [A] (verified)
3.10.84.3 Rubi [F]
3.10.84.4 Maple [A] (verified)
3.10.84.5 Fricas [A] (verification not implemented)
3.10.84.6 Sympy [B] (verification not implemented)
3.10.84.7 Maxima [A] (verification not implemented)
3.10.84.8 Giac [B] (verification not implemented)
3.10.84.9 Mupad [B] (verification not implemented)

3.10.84.1 Optimal result

Integrand size = 261, antiderivative size = 28 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=\frac {5}{2 \left (1+\frac {x}{2}\right ) \left (x+\log ^2(x)\right ) (-4+\log (\log (x)))} \]

output
5/2/(ln(x)^2+x)/(1+1/2*x)/(ln(ln(x))-4)
 
3.10.84.2 Mathematica [A] (verified)

Time = 0.53 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.79 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=\frac {5}{(2+x) \left (x+\log ^2(x)\right ) (-4+\log (\log (x)))} \]

input
Integrate[(-10*x - 5*x^2 + (40*x + 40*x^2)*Log[x] + (70 + 35*x)*Log[x]^2 + 
 20*x*Log[x]^3 + ((-10*x - 10*x^2)*Log[x] + (-20 - 10*x)*Log[x]^2 - 5*x*Lo 
g[x]^3)*Log[Log[x]])/((64*x^3 + 64*x^4 + 16*x^5)*Log[x] + (128*x^2 + 128*x 
^3 + 32*x^4)*Log[x]^3 + (64*x + 64*x^2 + 16*x^3)*Log[x]^5 + ((-32*x^3 - 32 
*x^4 - 8*x^5)*Log[x] + (-64*x^2 - 64*x^3 - 16*x^4)*Log[x]^3 + (-32*x - 32* 
x^2 - 8*x^3)*Log[x]^5)*Log[Log[x]] + ((4*x^3 + 4*x^4 + x^5)*Log[x] + (8*x^ 
2 + 8*x^3 + 2*x^4)*Log[x]^3 + (4*x + 4*x^2 + x^3)*Log[x]^5)*Log[Log[x]]^2) 
,x]
 
output
5/((2 + x)*(x + Log[x]^2)*(-4 + Log[Log[x]]))
 
3.10.84.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 {-5 x^2+\left (\left (-10 x^2-10 x\right ) \log (x)-5 x \log ^3(x)+(-10 x-20) \log ^2(x)\right ) \log (\log (x))+\left (40 x^2+40 x\right ) \log (x)-10 x+20 x \log ^3(x)+(35 x+70) \log ^2(x)}{\left (16 x^3+64 x^2+64 x\right ) \log ^5(x)+\left (16 x^5+64 x^4+64 x^3\right ) \log (x)+\left (32 x^4+128 x^3+128 x^2\right ) \log ^3(x)+\left (\left (-8 x^3-32 x^2-32 x\right ) \log ^5(x)+\left (-8 x^5-32 x^4-32 x^3\right ) \log (x)+\left (-16 x^4-64 x^3-64 x^2\right ) \log ^3(x)\right ) \log (\log (x))+\left (\left (x^3+4 x^2+4 x\right ) \log ^5(x)+\left (x^5+4 x^4+4 x^3\right ) \log (x)+\left (2 x^4+8 x^3+8 x^2\right ) \log ^3(x)\right ) \log ^2(\log (x))} \, dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 27

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

\(\Big \downarrow \) 25

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

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 2009

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

input
Int[(-10*x - 5*x^2 + (40*x + 40*x^2)*Log[x] + (70 + 35*x)*Log[x]^2 + 20*x* 
Log[x]^3 + ((-10*x - 10*x^2)*Log[x] + (-20 - 10*x)*Log[x]^2 - 5*x*Log[x]^3 
)*Log[Log[x]])/((64*x^3 + 64*x^4 + 16*x^5)*Log[x] + (128*x^2 + 128*x^3 + 3 
2*x^4)*Log[x]^3 + (64*x + 64*x^2 + 16*x^3)*Log[x]^5 + ((-32*x^3 - 32*x^4 - 
 8*x^5)*Log[x] + (-64*x^2 - 64*x^3 - 16*x^4)*Log[x]^3 + (-32*x - 32*x^2 - 
8*x^3)*Log[x]^5)*Log[Log[x]] + ((4*x^3 + 4*x^4 + x^5)*Log[x] + (8*x^2 + 8* 
x^3 + 2*x^4)*Log[x]^3 + (4*x + 4*x^2 + x^3)*Log[x]^5)*Log[Log[x]]^2),x]
 
output
$Aborted
 

3.10.84.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

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

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

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

Time = 13.24 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.11

method result size
default \(\frac {5}{\left (x \ln \left (x \right )^{2}+2 \ln \left (x \right )^{2}+x^{2}+2 x \right ) \left (\ln \left (\ln \left (x \right )\right )-4\right )}\) \(31\)
risch \(\frac {5}{\left (x \ln \left (x \right )^{2}+2 \ln \left (x \right )^{2}+x^{2}+2 x \right ) \left (\ln \left (\ln \left (x \right )\right )-4\right )}\) \(31\)
parallelrisch \(\frac {5}{\left (x \ln \left (x \right )^{2}+2 \ln \left (x \right )^{2}+x^{2}+2 x \right ) \left (\ln \left (\ln \left (x \right )\right )-4\right )}\) \(31\)

input
int(((-5*x*ln(x)^3+(-10*x-20)*ln(x)^2+(-10*x^2-10*x)*ln(x))*ln(ln(x))+20*x 
*ln(x)^3+(35*x+70)*ln(x)^2+(40*x^2+40*x)*ln(x)-5*x^2-10*x)/(((x^3+4*x^2+4* 
x)*ln(x)^5+(2*x^4+8*x^3+8*x^2)*ln(x)^3+(x^5+4*x^4+4*x^3)*ln(x))*ln(ln(x))^ 
2+((-8*x^3-32*x^2-32*x)*ln(x)^5+(-16*x^4-64*x^3-64*x^2)*ln(x)^3+(-8*x^5-32 
*x^4-32*x^3)*ln(x))*ln(ln(x))+(16*x^3+64*x^2+64*x)*ln(x)^5+(32*x^4+128*x^3 
+128*x^2)*ln(x)^3+(16*x^5+64*x^4+64*x^3)*ln(x)),x,method=_RETURNVERBOSE)
 
output
5/(x*ln(x)^2+2*ln(x)^2+x^2+2*x)/(ln(ln(x))-4)
 
3.10.84.5 Fricas [A] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.50 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=-\frac {5}{4 \, {\left (x + 2\right )} \log \left (x\right )^{2} + 4 \, x^{2} - {\left ({\left (x + 2\right )} \log \left (x\right )^{2} + x^{2} + 2 \, x\right )} \log \left (\log \left (x\right )\right ) + 8 \, x} \]

input
integrate(((-5*x*log(x)^3+(-10*x-20)*log(x)^2+(-10*x^2-10*x)*log(x))*log(l 
og(x))+20*x*log(x)^3+(35*x+70)*log(x)^2+(40*x^2+40*x)*log(x)-5*x^2-10*x)/( 
((x^3+4*x^2+4*x)*log(x)^5+(2*x^4+8*x^3+8*x^2)*log(x)^3+(x^5+4*x^4+4*x^3)*l 
og(x))*log(log(x))^2+((-8*x^3-32*x^2-32*x)*log(x)^5+(-16*x^4-64*x^3-64*x^2 
)*log(x)^3+(-8*x^5-32*x^4-32*x^3)*log(x))*log(log(x))+(16*x^3+64*x^2+64*x) 
*log(x)^5+(32*x^4+128*x^3+128*x^2)*log(x)^3+(16*x^5+64*x^4+64*x^3)*log(x)) 
,x, algorithm=\
 
output
-5/(4*(x + 2)*log(x)^2 + 4*x^2 - ((x + 2)*log(x)^2 + x^2 + 2*x)*log(log(x) 
) + 8*x)
 
3.10.84.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 49 vs. \(2 (20) = 40\).

Time = 0.13 (sec) , antiderivative size = 49, normalized size of antiderivative = 1.75 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=\frac {5}{- 4 x^{2} - 4 x \log {\left (x \right )}^{2} - 8 x + \left (x^{2} + x \log {\left (x \right )}^{2} + 2 x + 2 \log {\left (x \right )}^{2}\right ) \log {\left (\log {\left (x \right )} \right )} - 8 \log {\left (x \right )}^{2}} \]

input
integrate(((-5*x*ln(x)**3+(-10*x-20)*ln(x)**2+(-10*x**2-10*x)*ln(x))*ln(ln 
(x))+20*x*ln(x)**3+(35*x+70)*ln(x)**2+(40*x**2+40*x)*ln(x)-5*x**2-10*x)/(( 
(x**3+4*x**2+4*x)*ln(x)**5+(2*x**4+8*x**3+8*x**2)*ln(x)**3+(x**5+4*x**4+4* 
x**3)*ln(x))*ln(ln(x))**2+((-8*x**3-32*x**2-32*x)*ln(x)**5+(-16*x**4-64*x* 
*3-64*x**2)*ln(x)**3+(-8*x**5-32*x**4-32*x**3)*ln(x))*ln(ln(x))+(16*x**3+6 
4*x**2+64*x)*ln(x)**5+(32*x**4+128*x**3+128*x**2)*ln(x)**3+(16*x**5+64*x** 
4+64*x**3)*ln(x)),x)
 
output
5/(-4*x**2 - 4*x*log(x)**2 - 8*x + (x**2 + x*log(x)**2 + 2*x + 2*log(x)**2 
)*log(log(x)) - 8*log(x)**2)
 
3.10.84.7 Maxima [A] (verification not implemented)

Time = 0.28 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.50 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=-\frac {5}{4 \, {\left (x + 2\right )} \log \left (x\right )^{2} + 4 \, x^{2} - {\left ({\left (x + 2\right )} \log \left (x\right )^{2} + x^{2} + 2 \, x\right )} \log \left (\log \left (x\right )\right ) + 8 \, x} \]

input
integrate(((-5*x*log(x)^3+(-10*x-20)*log(x)^2+(-10*x^2-10*x)*log(x))*log(l 
og(x))+20*x*log(x)^3+(35*x+70)*log(x)^2+(40*x^2+40*x)*log(x)-5*x^2-10*x)/( 
((x^3+4*x^2+4*x)*log(x)^5+(2*x^4+8*x^3+8*x^2)*log(x)^3+(x^5+4*x^4+4*x^3)*l 
og(x))*log(log(x))^2+((-8*x^3-32*x^2-32*x)*log(x)^5+(-16*x^4-64*x^3-64*x^2 
)*log(x)^3+(-8*x^5-32*x^4-32*x^3)*log(x))*log(log(x))+(16*x^3+64*x^2+64*x) 
*log(x)^5+(32*x^4+128*x^3+128*x^2)*log(x)^3+(16*x^5+64*x^4+64*x^3)*log(x)) 
,x, algorithm=\
 
output
-5/(4*(x + 2)*log(x)^2 + 4*x^2 - ((x + 2)*log(x)^2 + x^2 + 2*x)*log(log(x) 
) + 8*x)
 
3.10.84.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 57 vs. \(2 (22) = 44\).

Time = 0.49 (sec) , antiderivative size = 57, normalized size of antiderivative = 2.04 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=\frac {5}{x \log \left (x\right )^{2} \log \left (\log \left (x\right )\right ) - 4 \, x \log \left (x\right )^{2} + x^{2} \log \left (\log \left (x\right )\right ) + 2 \, \log \left (x\right )^{2} \log \left (\log \left (x\right )\right ) - 4 \, x^{2} - 8 \, \log \left (x\right )^{2} + 2 \, x \log \left (\log \left (x\right )\right ) - 8 \, x} \]

input
integrate(((-5*x*log(x)^3+(-10*x-20)*log(x)^2+(-10*x^2-10*x)*log(x))*log(l 
og(x))+20*x*log(x)^3+(35*x+70)*log(x)^2+(40*x^2+40*x)*log(x)-5*x^2-10*x)/( 
((x^3+4*x^2+4*x)*log(x)^5+(2*x^4+8*x^3+8*x^2)*log(x)^3+(x^5+4*x^4+4*x^3)*l 
og(x))*log(log(x))^2+((-8*x^3-32*x^2-32*x)*log(x)^5+(-16*x^4-64*x^3-64*x^2 
)*log(x)^3+(-8*x^5-32*x^4-32*x^3)*log(x))*log(log(x))+(16*x^3+64*x^2+64*x) 
*log(x)^5+(32*x^4+128*x^3+128*x^2)*log(x)^3+(16*x^5+64*x^4+64*x^3)*log(x)) 
,x, algorithm=\
 
output
5/(x*log(x)^2*log(log(x)) - 4*x*log(x)^2 + x^2*log(log(x)) + 2*log(x)^2*lo 
g(log(x)) - 4*x^2 - 8*log(x)^2 + 2*x*log(log(x)) - 8*x)
 
3.10.84.9 Mupad [B] (verification not implemented)

Time = 9.68 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.79 \[ \int \frac {-10 x-5 x^2+\left (40 x+40 x^2\right ) \log (x)+(70+35 x) \log ^2(x)+20 x \log ^3(x)+\left (\left (-10 x-10 x^2\right ) \log (x)+(-20-10 x) \log ^2(x)-5 x \log ^3(x)\right ) \log (\log (x))}{\left (64 x^3+64 x^4+16 x^5\right ) \log (x)+\left (128 x^2+128 x^3+32 x^4\right ) \log ^3(x)+\left (64 x+64 x^2+16 x^3\right ) \log ^5(x)+\left (\left (-32 x^3-32 x^4-8 x^5\right ) \log (x)+\left (-64 x^2-64 x^3-16 x^4\right ) \log ^3(x)+\left (-32 x-32 x^2-8 x^3\right ) \log ^5(x)\right ) \log (\log (x))+\left (\left (4 x^3+4 x^4+x^5\right ) \log (x)+\left (8 x^2+8 x^3+2 x^4\right ) \log ^3(x)+\left (4 x+4 x^2+x^3\right ) \log ^5(x)\right ) \log ^2(\log (x))} \, dx=\frac {5}{\left ({\ln \left (x\right )}^2+x\right )\,\left (\ln \left (\ln \left (x\right )\right )-4\right )\,\left (x+2\right )} \]

input
int(-(10*x - 20*x*log(x)^3 - log(x)*(40*x + 40*x^2) + log(log(x))*(5*x*log 
(x)^3 + log(x)*(10*x + 10*x^2) + log(x)^2*(10*x + 20)) + 5*x^2 - log(x)^2* 
(35*x + 70))/(log(x)^5*(64*x + 64*x^2 + 16*x^3) - log(log(x))*(log(x)^5*(3 
2*x + 32*x^2 + 8*x^3) + log(x)*(32*x^3 + 32*x^4 + 8*x^5) + log(x)^3*(64*x^ 
2 + 64*x^3 + 16*x^4)) + log(x)*(64*x^3 + 64*x^4 + 16*x^5) + log(x)^3*(128* 
x^2 + 128*x^3 + 32*x^4) + log(log(x))^2*(log(x)^3*(8*x^2 + 8*x^3 + 2*x^4) 
+ log(x)^5*(4*x + 4*x^2 + x^3) + log(x)*(4*x^3 + 4*x^4 + x^5))),x)
 
output
5/((x + log(x)^2)*(log(log(x)) - 4)*(x + 2))