3.20.89 \(\int \frac {-15-5 e^x+(-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} (12288 x^4+384 x^5+3 x^6)+e^x (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6)) \log (x)+(-15+3456 x^4+54 x^5+e^{2 x} (384 x^4+6 x^5)+e^x (-5-5 x+2304 x^4+36 x^5)) \log (x) \log (\log (x))+(27 x^4+18 e^x x^4+3 e^{2 x} x^4) \log (x) \log ^2(\log (x))}{(36864 x^2+1152 x^3+9 x^4+e^{2 x} (4096 x^2+128 x^3+x^4)+e^x (24576 x^2+768 x^3+6 x^4)) \log (x)+(1152 x^2+18 x^3+e^{2 x} (128 x^2+2 x^3)+e^x (768 x^2+12 x^3)) \log (x) \log (\log (x))+(9 x^2+6 e^x x^2+e^{2 x} x^2) \log (x) \log ^2(\log (x))} \, dx\) [1989]

3.20.89.1 Optimal result
3.20.89.2 Mathematica [A] (verified)
3.20.89.3 Rubi [F]
3.20.89.4 Maple [A] (verified)
3.20.89.5 Fricas [B] (verification not implemented)
3.20.89.6 Sympy [A] (verification not implemented)
3.20.89.7 Maxima [B] (verification not implemented)
3.20.89.8 Giac [B] (verification not implemented)
3.20.89.9 Mupad [B] (verification not implemented)

3.20.89.1 Optimal result

Integrand size = 310, antiderivative size = 25 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=-2+x^3+\frac {5}{\left (3+e^x\right ) x (64+x+\log (\log (x)))} \]

output
5/x/(ln(ln(x))+64+x)/(3+exp(x))-2+x^3
 
3.20.89.2 Mathematica [A] (verified)

Time = 0.26 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=x^3+\frac {5}{\left (3+e^x\right ) x (64+x+\log (\log (x)))} \]

input
Integrate[(-15 - 5*E^x + (-960 - 30*x + 110592*x^4 + 3456*x^5 + 27*x^6 + E 
^(2*x)*(12288*x^4 + 384*x^5 + 3*x^6) + E^x*(-320 - 330*x - 5*x^2 + 73728*x 
^4 + 2304*x^5 + 18*x^6))*Log[x] + (-15 + 3456*x^4 + 54*x^5 + E^(2*x)*(384* 
x^4 + 6*x^5) + E^x*(-5 - 5*x + 2304*x^4 + 36*x^5))*Log[x]*Log[Log[x]] + (2 
7*x^4 + 18*E^x*x^4 + 3*E^(2*x)*x^4)*Log[x]*Log[Log[x]]^2)/((36864*x^2 + 11 
52*x^3 + 9*x^4 + E^(2*x)*(4096*x^2 + 128*x^3 + x^4) + E^x*(24576*x^2 + 768 
*x^3 + 6*x^4))*Log[x] + (1152*x^2 + 18*x^3 + E^(2*x)*(128*x^2 + 2*x^3) + E 
^x*(768*x^2 + 12*x^3))*Log[x]*Log[Log[x]] + (9*x^2 + 6*E^x*x^2 + E^(2*x)*x 
^2)*Log[x]*Log[Log[x]]^2),x]
 
output
x^3 + 5/((3 + E^x)*x*(64 + x + Log[Log[x]]))
 
3.20.89.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 {\left (18 e^x x^4+3 e^{2 x} x^4+27 x^4\right ) \log (x) \log ^2(\log (x))+\left (54 x^5+3456 x^4+e^{2 x} \left (6 x^5+384 x^4\right )+e^x \left (36 x^5+2304 x^4-5 x-5\right )-15\right ) \log (x) \log (\log (x))+\left (27 x^6+3456 x^5+110592 x^4+e^{2 x} \left (3 x^6+384 x^5+12288 x^4\right )+e^x \left (18 x^6+2304 x^5+73728 x^4-5 x^2-330 x-320\right )-30 x-960\right ) \log (x)-5 e^x-15}{\left (6 e^x x^2+e^{2 x} x^2+9 x^2\right ) \log (x) \log ^2(\log (x))+\left (18 x^3+1152 x^2+e^{2 x} \left (2 x^3+128 x^2\right )+e^x \left (12 x^3+768 x^2\right )\right ) \log (x) \log (\log (x))+\left (9 x^4+1152 x^3+36864 x^2+e^{2 x} \left (x^4+128 x^3+4096 x^2\right )+e^x \left (6 x^4+768 x^3+24576 x^2\right )\right ) \log (x)} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\log (x) \left (3 e^{2 x} (x+64)^2 x^4+3 \left (e^x+3\right )^2 x^4 \log ^2(\log (x))+\left (54 x^5+6 e^{2 x} (x+64) x^4+3456 x^4+e^x \left (36 x^5+2304 x^4-5 x-5\right )-15\right ) \log (\log (x))+3 \left (9 x^6+1152 x^5+36864 x^4-10 x-320\right )+e^x \left (18 x^6+2304 x^5+73728 x^4-5 x^2-330 x-320\right )\right )-5 \left (e^x+3\right )}{\left (e^x+3\right )^2 x^2 \log (x) (x+\log (\log (x))+64)^2}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (3 x^2-\frac {5 \left (x^2 \log (x)+66 x \log (x)+x \log (x) \log (\log (x))+64 \log (x)+\log (x) \log (\log (x))+1\right )}{\left (e^x+3\right ) x^2 \log (x) (x+\log (\log (x))+64)^2}+\frac {15}{\left (e^x+3\right )^2 x (x+\log (\log (x))+64)}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -320 \int \frac {1}{\left (3+e^x\right ) x^2 (x+\log (\log (x))+64)^2}dx-5 \int \frac {1}{\left (3+e^x\right ) x^2 \log (x) (x+\log (\log (x))+64)^2}dx-5 \int \frac {\log (\log (x))}{\left (3+e^x\right ) x^2 (x+\log (\log (x))+64)^2}dx-5 \int \frac {1}{\left (3+e^x\right ) (x+\log (\log (x))+64)^2}dx-330 \int \frac {1}{\left (3+e^x\right ) x (x+\log (\log (x))+64)^2}dx-5 \int \frac {\log (\log (x))}{\left (3+e^x\right ) x (x+\log (\log (x))+64)^2}dx+15 \int \frac {1}{\left (3+e^x\right )^2 x (x+\log (\log (x))+64)}dx+x^3\)

input
Int[(-15 - 5*E^x + (-960 - 30*x + 110592*x^4 + 3456*x^5 + 27*x^6 + E^(2*x) 
*(12288*x^4 + 384*x^5 + 3*x^6) + E^x*(-320 - 330*x - 5*x^2 + 73728*x^4 + 2 
304*x^5 + 18*x^6))*Log[x] + (-15 + 3456*x^4 + 54*x^5 + E^(2*x)*(384*x^4 + 
6*x^5) + E^x*(-5 - 5*x + 2304*x^4 + 36*x^5))*Log[x]*Log[Log[x]] + (27*x^4 
+ 18*E^x*x^4 + 3*E^(2*x)*x^4)*Log[x]*Log[Log[x]]^2)/((36864*x^2 + 1152*x^3 
 + 9*x^4 + E^(2*x)*(4096*x^2 + 128*x^3 + x^4) + E^x*(24576*x^2 + 768*x^3 + 
 6*x^4))*Log[x] + (1152*x^2 + 18*x^3 + E^(2*x)*(128*x^2 + 2*x^3) + E^x*(76 
8*x^2 + 12*x^3))*Log[x]*Log[Log[x]] + (9*x^2 + 6*E^x*x^2 + E^(2*x)*x^2)*Lo 
g[x]*Log[Log[x]]^2),x]
 
output
$Aborted
 

3.20.89.3.1 Defintions of rubi rules used

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.20.89.4 Maple [A] (verified)

Time = 47.20 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96

method result size
risch \(x^{3}+\frac {5}{x \left (\ln \left (\ln \left (x \right )\right )+64+x \right ) \left (3+{\mathrm e}^{x}\right )}\) \(24\)
parallelrisch \(\frac {{\mathrm e}^{x} \ln \left (\ln \left (x \right )\right ) x^{4}+x^{5} {\mathrm e}^{x}+64 \,{\mathrm e}^{x} x^{4}+3 x^{4} \ln \left (\ln \left (x \right )\right )+3 x^{5}+192 x^{4}+5}{x \left (\ln \left (\ln \left (x \right )\right )+64+x \right ) \left (3+{\mathrm e}^{x}\right )}\) \(61\)

input
int(((3*exp(x)^2*x^4+18*exp(x)*x^4+27*x^4)*ln(x)*ln(ln(x))^2+((6*x^5+384*x 
^4)*exp(x)^2+(36*x^5+2304*x^4-5*x-5)*exp(x)+54*x^5+3456*x^4-15)*ln(x)*ln(l 
n(x))+((3*x^6+384*x^5+12288*x^4)*exp(x)^2+(18*x^6+2304*x^5+73728*x^4-5*x^2 
-330*x-320)*exp(x)+27*x^6+3456*x^5+110592*x^4-30*x-960)*ln(x)-5*exp(x)-15) 
/((exp(x)^2*x^2+6*exp(x)*x^2+9*x^2)*ln(x)*ln(ln(x))^2+((2*x^3+128*x^2)*exp 
(x)^2+(12*x^3+768*x^2)*exp(x)+18*x^3+1152*x^2)*ln(x)*ln(ln(x))+((x^4+128*x 
^3+4096*x^2)*exp(x)^2+(6*x^4+768*x^3+24576*x^2)*exp(x)+9*x^4+1152*x^3+3686 
4*x^2)*ln(x)),x,method=_RETURNVERBOSE)
 
output
x^3+5/x/(ln(ln(x))+64+x)/(3+exp(x))
 
3.20.89.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 74 vs. \(2 (24) = 48\).

Time = 0.26 (sec) , antiderivative size = 74, normalized size of antiderivative = 2.96 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=\frac {3 \, x^{5} + 192 \, x^{4} + {\left (x^{5} + 64 \, x^{4}\right )} e^{x} + {\left (x^{4} e^{x} + 3 \, x^{4}\right )} \log \left (\log \left (x\right )\right ) + 5}{3 \, x^{2} + {\left (x^{2} + 64 \, x\right )} e^{x} + {\left (x e^{x} + 3 \, x\right )} \log \left (\log \left (x\right )\right ) + 192 \, x} \]

input
integrate(((3*exp(x)^2*x^4+18*exp(x)*x^4+27*x^4)*log(x)*log(log(x))^2+((6* 
x^5+384*x^4)*exp(x)^2+(36*x^5+2304*x^4-5*x-5)*exp(x)+54*x^5+3456*x^4-15)*l 
og(x)*log(log(x))+((3*x^6+384*x^5+12288*x^4)*exp(x)^2+(18*x^6+2304*x^5+737 
28*x^4-5*x^2-330*x-320)*exp(x)+27*x^6+3456*x^5+110592*x^4-30*x-960)*log(x) 
-5*exp(x)-15)/((exp(x)^2*x^2+6*exp(x)*x^2+9*x^2)*log(x)*log(log(x))^2+((2* 
x^3+128*x^2)*exp(x)^2+(12*x^3+768*x^2)*exp(x)+18*x^3+1152*x^2)*log(x)*log( 
log(x))+((x^4+128*x^3+4096*x^2)*exp(x)^2+(6*x^4+768*x^3+24576*x^2)*exp(x)+ 
9*x^4+1152*x^3+36864*x^2)*log(x)),x, algorithm=\
 
output
(3*x^5 + 192*x^4 + (x^5 + 64*x^4)*e^x + (x^4*e^x + 3*x^4)*log(log(x)) + 5) 
/(3*x^2 + (x^2 + 64*x)*e^x + (x*e^x + 3*x)*log(log(x)) + 192*x)
 
3.20.89.6 Sympy [A] (verification not implemented)

Time = 0.18 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.48 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=x^{3} + \frac {5}{3 x^{2} + 3 x \log {\left (\log {\left (x \right )} \right )} + 192 x + \left (x^{2} + x \log {\left (\log {\left (x \right )} \right )} + 64 x\right ) e^{x}} \]

input
integrate(((3*exp(x)**2*x**4+18*exp(x)*x**4+27*x**4)*ln(x)*ln(ln(x))**2+(( 
6*x**5+384*x**4)*exp(x)**2+(36*x**5+2304*x**4-5*x-5)*exp(x)+54*x**5+3456*x 
**4-15)*ln(x)*ln(ln(x))+((3*x**6+384*x**5+12288*x**4)*exp(x)**2+(18*x**6+2 
304*x**5+73728*x**4-5*x**2-330*x-320)*exp(x)+27*x**6+3456*x**5+110592*x**4 
-30*x-960)*ln(x)-5*exp(x)-15)/((exp(x)**2*x**2+6*exp(x)*x**2+9*x**2)*ln(x) 
*ln(ln(x))**2+((2*x**3+128*x**2)*exp(x)**2+(12*x**3+768*x**2)*exp(x)+18*x* 
*3+1152*x**2)*ln(x)*ln(ln(x))+((x**4+128*x**3+4096*x**2)*exp(x)**2+(6*x**4 
+768*x**3+24576*x**2)*exp(x)+9*x**4+1152*x**3+36864*x**2)*ln(x)),x)
 
output
x**3 + 5/(3*x**2 + 3*x*log(log(x)) + 192*x + (x**2 + x*log(log(x)) + 64*x) 
*exp(x))
 
3.20.89.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 74 vs. \(2 (24) = 48\).

Time = 0.35 (sec) , antiderivative size = 74, normalized size of antiderivative = 2.96 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=\frac {3 \, x^{5} + 192 \, x^{4} + {\left (x^{5} + 64 \, x^{4}\right )} e^{x} + {\left (x^{4} e^{x} + 3 \, x^{4}\right )} \log \left (\log \left (x\right )\right ) + 5}{3 \, x^{2} + {\left (x^{2} + 64 \, x\right )} e^{x} + {\left (x e^{x} + 3 \, x\right )} \log \left (\log \left (x\right )\right ) + 192 \, x} \]

input
integrate(((3*exp(x)^2*x^4+18*exp(x)*x^4+27*x^4)*log(x)*log(log(x))^2+((6* 
x^5+384*x^4)*exp(x)^2+(36*x^5+2304*x^4-5*x-5)*exp(x)+54*x^5+3456*x^4-15)*l 
og(x)*log(log(x))+((3*x^6+384*x^5+12288*x^4)*exp(x)^2+(18*x^6+2304*x^5+737 
28*x^4-5*x^2-330*x-320)*exp(x)+27*x^6+3456*x^5+110592*x^4-30*x-960)*log(x) 
-5*exp(x)-15)/((exp(x)^2*x^2+6*exp(x)*x^2+9*x^2)*log(x)*log(log(x))^2+((2* 
x^3+128*x^2)*exp(x)^2+(12*x^3+768*x^2)*exp(x)+18*x^3+1152*x^2)*log(x)*log( 
log(x))+((x^4+128*x^3+4096*x^2)*exp(x)^2+(6*x^4+768*x^3+24576*x^2)*exp(x)+ 
9*x^4+1152*x^3+36864*x^2)*log(x)),x, algorithm=\
 
output
(3*x^5 + 192*x^4 + (x^5 + 64*x^4)*e^x + (x^4*e^x + 3*x^4)*log(log(x)) + 5) 
/(3*x^2 + (x^2 + 64*x)*e^x + (x*e^x + 3*x)*log(log(x)) + 192*x)
 
3.20.89.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 78 vs. \(2 (24) = 48\).

Time = 0.47 (sec) , antiderivative size = 78, normalized size of antiderivative = 3.12 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=\frac {x^{5} e^{x} + x^{4} e^{x} \log \left (\log \left (x\right )\right ) + 3 \, x^{5} + 64 \, x^{4} e^{x} + 3 \, x^{4} \log \left (\log \left (x\right )\right ) + 192 \, x^{4} + 5}{x^{2} e^{x} + x e^{x} \log \left (\log \left (x\right )\right ) + 3 \, x^{2} + 64 \, x e^{x} + 3 \, x \log \left (\log \left (x\right )\right ) + 192 \, x} \]

input
integrate(((3*exp(x)^2*x^4+18*exp(x)*x^4+27*x^4)*log(x)*log(log(x))^2+((6* 
x^5+384*x^4)*exp(x)^2+(36*x^5+2304*x^4-5*x-5)*exp(x)+54*x^5+3456*x^4-15)*l 
og(x)*log(log(x))+((3*x^6+384*x^5+12288*x^4)*exp(x)^2+(18*x^6+2304*x^5+737 
28*x^4-5*x^2-330*x-320)*exp(x)+27*x^6+3456*x^5+110592*x^4-30*x-960)*log(x) 
-5*exp(x)-15)/((exp(x)^2*x^2+6*exp(x)*x^2+9*x^2)*log(x)*log(log(x))^2+((2* 
x^3+128*x^2)*exp(x)^2+(12*x^3+768*x^2)*exp(x)+18*x^3+1152*x^2)*log(x)*log( 
log(x))+((x^4+128*x^3+4096*x^2)*exp(x)^2+(6*x^4+768*x^3+24576*x^2)*exp(x)+ 
9*x^4+1152*x^3+36864*x^2)*log(x)),x, algorithm=\
 
output
(x^5*e^x + x^4*e^x*log(log(x)) + 3*x^5 + 64*x^4*e^x + 3*x^4*log(log(x)) + 
192*x^4 + 5)/(x^2*e^x + x*e^x*log(log(x)) + 3*x^2 + 64*x*e^x + 3*x*log(log 
(x)) + 192*x)
 
3.20.89.9 Mupad [B] (verification not implemented)

Time = 12.73 (sec) , antiderivative size = 191, normalized size of antiderivative = 7.64 \[ \int \frac {-15-5 e^x+\left (-960-30 x+110592 x^4+3456 x^5+27 x^6+e^{2 x} \left (12288 x^4+384 x^5+3 x^6\right )+e^x \left (-320-330 x-5 x^2+73728 x^4+2304 x^5+18 x^6\right )\right ) \log (x)+\left (-15+3456 x^4+54 x^5+e^{2 x} \left (384 x^4+6 x^5\right )+e^x \left (-5-5 x+2304 x^4+36 x^5\right )\right ) \log (x) \log (\log (x))+\left (27 x^4+18 e^x x^4+3 e^{2 x} x^4\right ) \log (x) \log ^2(\log (x))}{\left (36864 x^2+1152 x^3+9 x^4+e^{2 x} \left (4096 x^2+128 x^3+x^4\right )+e^x \left (24576 x^2+768 x^3+6 x^4\right )\right ) \log (x)+\left (1152 x^2+18 x^3+e^{2 x} \left (128 x^2+2 x^3\right )+e^x \left (768 x^2+12 x^3\right )\right ) \log (x) \log (\log (x))+\left (9 x^2+6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log ^2(\log (x))} \, dx=\frac {15}{x\,\left ({\mathrm {e}}^{2\,x}+6\,{\mathrm {e}}^x+9\right )}+x^3+\frac {\frac {5\,\left ({\mathrm {e}}^x+192\,\ln \left (x\right )+64\,{\mathrm {e}}^x\,\ln \left (x\right )+6\,x\,\ln \left (x\right )+66\,x\,{\mathrm {e}}^x\,\ln \left (x\right )+x^2\,{\mathrm {e}}^x\,\ln \left (x\right )+3\right )}{x\,\left (x\,\ln \left (x\right )+1\right )\,{\left ({\mathrm {e}}^x+3\right )}^2}+\frac {5\,\ln \left (\ln \left (x\right )\right )\,\ln \left (x\right )\,\left ({\mathrm {e}}^x+x\,{\mathrm {e}}^x+3\right )}{x\,\left (x\,\ln \left (x\right )+1\right )\,{\left ({\mathrm {e}}^x+3\right )}^2}}{x+\ln \left (\ln \left (x\right )\right )+64}-\frac {5\,\left (x^2+x\right )}{x^3\,\left ({\mathrm {e}}^x+3\right )}+\frac {5\,\left (9\,x-{\mathrm {e}}^{2\,x}-6\,{\mathrm {e}}^x+3\,x^2\,{\mathrm {e}}^x+x^2\,{\mathrm {e}}^{2\,x}+3\,x\,{\mathrm {e}}^x-9\right )}{x^2\,\left (x\,\ln \left (x\right )+1\right )\,{\left ({\mathrm {e}}^x+3\right )}^3\,\left (x-1\right )} \]

input
int((log(x)*(exp(2*x)*(12288*x^4 + 384*x^5 + 3*x^6) - exp(x)*(330*x + 5*x^ 
2 - 73728*x^4 - 2304*x^5 - 18*x^6 + 320) - 30*x + 110592*x^4 + 3456*x^5 + 
27*x^6 - 960) - 5*exp(x) + log(log(x))^2*log(x)*(18*x^4*exp(x) + 3*x^4*exp 
(2*x) + 27*x^4) + log(log(x))*log(x)*(exp(2*x)*(384*x^4 + 6*x^5) + 3456*x^ 
4 + 54*x^5 - exp(x)*(5*x - 2304*x^4 - 36*x^5 + 5) - 15) - 15)/(log(x)*(exp 
(2*x)*(4096*x^2 + 128*x^3 + x^4) + exp(x)*(24576*x^2 + 768*x^3 + 6*x^4) + 
36864*x^2 + 1152*x^3 + 9*x^4) + log(log(x))^2*log(x)*(6*x^2*exp(x) + x^2*e 
xp(2*x) + 9*x^2) + log(log(x))*log(x)*(exp(x)*(768*x^2 + 12*x^3) + exp(2*x 
)*(128*x^2 + 2*x^3) + 1152*x^2 + 18*x^3)),x)
 
output
15/(x*(exp(2*x) + 6*exp(x) + 9)) + x^3 + ((5*(exp(x) + 192*log(x) + 64*exp 
(x)*log(x) + 6*x*log(x) + 66*x*exp(x)*log(x) + x^2*exp(x)*log(x) + 3))/(x* 
(x*log(x) + 1)*(exp(x) + 3)^2) + (5*log(log(x))*log(x)*(exp(x) + x*exp(x) 
+ 3))/(x*(x*log(x) + 1)*(exp(x) + 3)^2))/(x + log(log(x)) + 64) - (5*(x + 
x^2))/(x^3*(exp(x) + 3)) + (5*(9*x - exp(2*x) - 6*exp(x) + 3*x^2*exp(x) + 
x^2*exp(2*x) + 3*x*exp(x) - 9))/(x^2*(x*log(x) + 1)*(exp(x) + 3)^3*(x - 1) 
)