\(\int \frac {32 e^{8 x} x+2 x^4+(-120 x^3-6 x^4+e^{8 x} (3840-15168 x-768 x^2)+(40 x^3+2 x^4+e^{8 x} (-1280+5056 x+256 x^2)) \log (\frac {3}{20+x})) \log (3-\log (\frac {3}{20+x}))}{(-60 x^4-3 x^5+e^{8 x} (-960 x-48 x^2)+(20 x^4+x^5+e^{8 x} (320 x+16 x^2)) \log (\frac {3}{20+x})) \log (3-\log (\frac {3}{20+x}))} \, dx\) [1111]

Optimal result

Integrand size = 168, antiderivative size = 31 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=2 \log \left (\frac {\frac {16 e^{8 x}}{x^2}+x}{\log \left (3-\log \left (\frac {3}{20+x}\right )\right )}\right ) \] Output:

2*ln((16*exp(4*x)^2/x^2+x)/ln(-ln(3/(20+x))+3))
 

Mathematica [A] (verified)

Time = 0.09 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.13 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=2 \left (-2 \log (x)+\log \left (16 e^{8 x}+x^3\right )-\log \left (\log \left (3-\log \left (\frac {3}{20+x}\right )\right )\right )\right ) \] Input:

Integrate[(32*E^(8*x)*x + 2*x^4 + (-120*x^3 - 6*x^4 + E^(8*x)*(3840 - 1516 
8*x - 768*x^2) + (40*x^3 + 2*x^4 + E^(8*x)*(-1280 + 5056*x + 256*x^2))*Log 
[3/(20 + x)])*Log[3 - Log[3/(20 + x)]])/((-60*x^4 - 3*x^5 + E^(8*x)*(-960* 
x - 48*x^2) + (20*x^4 + x^5 + E^(8*x)*(320*x + 16*x^2))*Log[3/(20 + x)])*L 
og[3 - Log[3/(20 + x)]]),x]
 

Output:

2*(-2*Log[x] + Log[16*E^(8*x) + x^3] - Log[Log[3 - Log[3/(20 + x)]]])
 

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 {2 x^4+\left (-6 x^4-120 x^3+e^{8 x} \left (-768 x^2-15168 x+3840\right )+\left (2 x^4+40 x^3+e^{8 x} \left (256 x^2+5056 x-1280\right )\right ) \log \left (\frac {3}{x+20}\right )\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )+32 e^{8 x} x}{\left (-3 x^5-60 x^4+e^{8 x} \left (-48 x^2-960 x\right )+\left (x^5+20 x^4+e^{8 x} \left (16 x^2+320 x\right )\right ) \log \left (\frac {3}{x+20}\right )\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {-2 x^4-\left (-6 x^4-120 x^3+e^{8 x} \left (-768 x^2-15168 x+3840\right )+\left (2 x^4+40 x^3+e^{8 x} \left (256 x^2+5056 x-1280\right )\right ) \log \left (\frac {3}{x+20}\right )\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )-32 e^{8 x} x}{x (x+20) \left (x^3+16 e^{8 x}\right ) \left (3-\log \left (\frac {3}{x+20}\right )\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {2 \left (8 x^2 \log \left (\frac {3}{x+20}\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )-24 x^2 \log \left (3-\log \left (\frac {3}{x+20}\right )\right )+x+158 x \log \left (\frac {3}{x+20}\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )-474 x \log \left (3-\log \left (\frac {3}{x+20}\right )\right )-40 \log \left (\frac {3}{x+20}\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )+120 \log \left (3-\log \left (\frac {3}{x+20}\right )\right )\right )}{x (x+20) \left (\log \left (\frac {3}{x+20}\right )-3\right ) \log \left (3-\log \left (\frac {3}{x+20}\right )\right )}-\frac {2 x^2 (8 x-3)}{x^3+16 e^{8 x}}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -16 \int \frac {x^3}{x^3+16 e^{8 x}}dx+6 \int \frac {x^2}{x^3+16 e^{8 x}}dx+16 x-4 \log (x)-2 \log \left (\log \left (3-\log \left (\frac {3}{x+20}\right )\right )\right )\)

Input:

Int[(32*E^(8*x)*x + 2*x^4 + (-120*x^3 - 6*x^4 + E^(8*x)*(3840 - 15168*x - 
768*x^2) + (40*x^3 + 2*x^4 + E^(8*x)*(-1280 + 5056*x + 256*x^2))*Log[3/(20 
 + x)])*Log[3 - Log[3/(20 + x)]])/((-60*x^4 - 3*x^5 + E^(8*x)*(-960*x - 48 
*x^2) + (20*x^4 + x^5 + E^(8*x)*(320*x + 16*x^2))*Log[3/(20 + x)])*Log[3 - 
 Log[3/(20 + x)]]),x]
 

Output:

$Aborted
 

Maple [A] (verified)

Time = 14.21 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.06

method	result	size
risch	\(-4 \ln \left (x \right )+2 \ln \left (\frac {x^{3}}{16}+{\mathrm e}^{8 x}\right )-2 \ln \left (\ln \left (-\ln \left (3\right )+\ln \left (20+x \right )+3\right )\right )\)	\(33\)
parallelrisch	\(-4 \ln \left (x \right )-2 \ln \left (\ln \left (-\ln \left (\frac {3}{20+x}\right )+3\right )\right )+2 \ln \left (x^{3}+16 \,{\mathrm e}^{8 x}\right )\)	\(37\)

Input:

int(((((256*x^2+5056*x-1280)*exp(4*x)^2+2*x^4+40*x^3)*ln(3/(20+x))+(-768*x 
^2-15168*x+3840)*exp(4*x)^2-6*x^4-120*x^3)*ln(-ln(3/(20+x))+3)+32*x*exp(4* 
x)^2+2*x^4)/(((16*x^2+320*x)*exp(4*x)^2+x^5+20*x^4)*ln(3/(20+x))+(-48*x^2- 
960*x)*exp(4*x)^2-3*x^5-60*x^4)/ln(-ln(3/(20+x))+3),x,method=_RETURNVERBOS 
E)
 

Output:

-4*ln(x)+2*ln(1/16*x^3+exp(8*x))-2*ln(ln(-ln(3)+ln(20+x)+3))
 

Fricas [A] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.10 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=2 \, \log \left (x^{3} + 16 \, e^{\left (8 \, x\right )}\right ) - 4 \, \log \left (x\right ) - 2 \, \log \left (\log \left (-\log \left (\frac {3}{x + 20}\right ) + 3\right )\right ) \] Input:

integrate(((((256*x^2+5056*x-1280)*exp(4*x)^2+2*x^4+40*x^3)*log(3/(20+x))+ 
(-768*x^2-15168*x+3840)*exp(4*x)^2-6*x^4-120*x^3)*log(-log(3/(20+x))+3)+32 
*x*exp(4*x)^2+2*x^4)/(((16*x^2+320*x)*exp(4*x)^2+x^5+20*x^4)*log(3/(20+x)) 
+(-48*x^2-960*x)*exp(4*x)^2-3*x^5-60*x^4)/log(-log(3/(20+x))+3),x, algorit 
hm="fricas")
 

Output:

2*log(x^3 + 16*e^(8*x)) - 4*log(x) - 2*log(log(-log(3/(x + 20)) + 3))
 

Sympy [A] (verification not implemented)

Time = 0.38 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.00 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=- 4 \log {\left (x \right )} + 2 \log {\left (\frac {x^{3}}{16} + e^{8 x} \right )} - 2 \log {\left (\log {\left (3 - \log {\left (\frac {3}{x + 20} \right )} \right )} \right )} \] Input:

integrate(((((256*x**2+5056*x-1280)*exp(4*x)**2+2*x**4+40*x**3)*ln(3/(20+x 
))+(-768*x**2-15168*x+3840)*exp(4*x)**2-6*x**4-120*x**3)*ln(-ln(3/(20+x))+ 
3)+32*x*exp(4*x)**2+2*x**4)/(((16*x**2+320*x)*exp(4*x)**2+x**5+20*x**4)*ln 
(3/(20+x))+(-48*x**2-960*x)*exp(4*x)**2-3*x**5-60*x**4)/ln(-ln(3/(20+x))+3 
),x)
 

Output:

-4*log(x) + 2*log(x**3/16 + exp(8*x)) - 2*log(log(3 - log(3/(x + 20))))
 

Maxima [A] (verification not implemented)

Time = 0.22 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.03 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=2 \, \log \left (\frac {1}{16} \, x^{3} + e^{\left (8 \, x\right )}\right ) - 4 \, \log \left (x\right ) - 2 \, \log \left (\log \left (-\log \left (3\right ) + \log \left (x + 20\right ) + 3\right )\right ) \] Input:

integrate(((((256*x^2+5056*x-1280)*exp(4*x)^2+2*x^4+40*x^3)*log(3/(20+x))+ 
(-768*x^2-15168*x+3840)*exp(4*x)^2-6*x^4-120*x^3)*log(-log(3/(20+x))+3)+32 
*x*exp(4*x)^2+2*x^4)/(((16*x^2+320*x)*exp(4*x)^2+x^5+20*x^4)*log(3/(20+x)) 
+(-48*x^2-960*x)*exp(4*x)^2-3*x^5-60*x^4)/log(-log(3/(20+x))+3),x, algorit 
hm="maxima")
 

Output:

2*log(1/16*x^3 + e^(8*x)) - 4*log(x) - 2*log(log(-log(3) + log(x + 20) + 3 
))
 

Giac [A] (verification not implemented)

Time = 0.27 (sec) , antiderivative size = 35, normalized size of antiderivative = 1.13 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=2 \, \log \left (-x^{3} - 16 \, e^{\left (8 \, x\right )}\right ) - 4 \, \log \left (x\right ) - 2 \, \log \left ({\left | \log \left (-\log \left (3\right ) + \log \left (x + 20\right ) + 3\right ) \right |}\right ) \] Input:

integrate(((((256*x^2+5056*x-1280)*exp(4*x)^2+2*x^4+40*x^3)*log(3/(20+x))+ 
(-768*x^2-15168*x+3840)*exp(4*x)^2-6*x^4-120*x^3)*log(-log(3/(20+x))+3)+32 
*x*exp(4*x)^2+2*x^4)/(((16*x^2+320*x)*exp(4*x)^2+x^5+20*x^4)*log(3/(20+x)) 
+(-48*x^2-960*x)*exp(4*x)^2-3*x^5-60*x^4)/log(-log(3/(20+x))+3),x, algorit 
hm="giac")
 

Output:

2*log(-x^3 - 16*e^(8*x)) - 4*log(x) - 2*log(abs(log(-log(3) + log(x + 20) 
+ 3)))
 

Mupad [B] (verification not implemented)

Time = 0.85 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.10 \[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx=2\,\ln \left ({\mathrm {e}}^{8\,x}+\frac {x^3}{16}\right )-2\,\ln \left (\ln \left (3-\ln \left (\frac {3}{x+20}\right )\right )\right )-4\,\ln \left (x\right ) \] Input:

int(-(32*x*exp(8*x) - log(3 - log(3/(x + 20)))*(exp(8*x)*(15168*x + 768*x^ 
2 - 3840) - log(3/(x + 20))*(exp(8*x)*(5056*x + 256*x^2 - 1280) + 40*x^3 + 
 2*x^4) + 120*x^3 + 6*x^4) + 2*x^4)/(log(3 - log(3/(x + 20)))*(exp(8*x)*(9 
60*x + 48*x^2) + 60*x^4 + 3*x^5 - log(3/(x + 20))*(exp(8*x)*(320*x + 16*x^ 
2) + 20*x^4 + x^5))),x)
 

Output:

2*log(exp(8*x) + x^3/16) - 2*log(log(3 - log(3/(x + 20)))) - 4*log(x)
 

Reduce [F]

\[ \int \frac {32 e^{8 x} x+2 x^4+\left (-120 x^3-6 x^4+e^{8 x} \left (3840-15168 x-768 x^2\right )+\left (40 x^3+2 x^4+e^{8 x} \left (-1280+5056 x+256 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )}{\left (-60 x^4-3 x^5+e^{8 x} \left (-960 x-48 x^2\right )+\left (20 x^4+x^5+e^{8 x} \left (320 x+16 x^2\right )\right ) \log \left (\frac {3}{20+x}\right )\right ) \log \left (3-\log \left (\frac {3}{20+x}\right )\right )} \, dx =\text {Too large to display} \] Input:

int(((((256*x^2+5056*x-1280)*exp(4*x)^2+2*x^4+40*x^3)*log(3/(20+x))+(-768* 
x^2-15168*x+3840)*exp(4*x)^2-6*x^4-120*x^3)*log(-log(3/(20+x))+3)+32*x*exp 
(4*x)^2+2*x^4)/(((16*x^2+320*x)*exp(4*x)^2+x^5+20*x^4)*log(3/(20+x))+(-48* 
x^2-960*x)*exp(4*x)^2-3*x^5-60*x^4)/log(-log(3/(20+x))+3),x)
 

Output:

2*(16*int(e**(8*x)/(16*e**(8*x)*log( - log(3/(x + 20)) + 3)*log(3/(x + 20) 
)*x + 320*e**(8*x)*log( - log(3/(x + 20)) + 3)*log(3/(x + 20)) - 48*e**(8* 
x)*log( - log(3/(x + 20)) + 3)*x - 960*e**(8*x)*log( - log(3/(x + 20)) + 3 
) + log( - log(3/(x + 20)) + 3)*log(3/(x + 20))*x**4 + 20*log( - log(3/(x 
+ 20)) + 3)*log(3/(x + 20))*x**3 - 3*log( - log(3/(x + 20)) + 3)*x**4 - 60 
*log( - log(3/(x + 20)) + 3)*x**3),x) + 1920*int(e**(8*x)/(16*e**(8*x)*log 
(3/(x + 20))*x**2 + 320*e**(8*x)*log(3/(x + 20))*x - 48*e**(8*x)*x**2 - 96 
0*e**(8*x)*x + log(3/(x + 20))*x**5 + 20*log(3/(x + 20))*x**4 - 3*x**5 - 6 
0*x**4),x) - 7584*int(e**(8*x)/(16*e**(8*x)*log(3/(x + 20))*x + 320*e**(8* 
x)*log(3/(x + 20)) - 48*e**(8*x)*x - 960*e**(8*x) + log(3/(x + 20))*x**4 + 
 20*log(3/(x + 20))*x**3 - 3*x**4 - 60*x**3),x) + int(x**3/(16*e**(8*x)*lo 
g( - log(3/(x + 20)) + 3)*log(3/(x + 20))*x + 320*e**(8*x)*log( - log(3/(x 
 + 20)) + 3)*log(3/(x + 20)) - 48*e**(8*x)*log( - log(3/(x + 20)) + 3)*x - 
 960*e**(8*x)*log( - log(3/(x + 20)) + 3) + log( - log(3/(x + 20)) + 3)*lo 
g(3/(x + 20))*x**4 + 20*log( - log(3/(x + 20)) + 3)*log(3/(x + 20))*x**3 - 
 3*log( - log(3/(x + 20)) + 3)*x**4 - 60*log( - log(3/(x + 20)) + 3)*x**3) 
,x) - 3*int(x**3/(16*e**(8*x)*log(3/(x + 20))*x + 320*e**(8*x)*log(3/(x + 
20)) - 48*e**(8*x)*x - 960*e**(8*x) + log(3/(x + 20))*x**4 + 20*log(3/(x + 
 20))*x**3 - 3*x**4 - 60*x**3),x) - 60*int(x**2/(16*e**(8*x)*log(3/(x + 20 
))*x + 320*e**(8*x)*log(3/(x + 20)) - 48*e**(8*x)*x - 960*e**(8*x) + lo...