3.11.52 \(\int (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} (4 x-4 x^2)+e^{10} (6 x^2-12 x^3+6 x^4)+e^5 (4 x^3-12 x^4+12 x^5-4 x^6)} (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} (16-24 x-16 x^2)+e^{10} (48 x-120 x^2+24 x^3+48 x^4)+e^5 (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6))+\log (4)) \, dx\) [1052]

3.11.52.1 Optimal result
3.11.52.2 Mathematica [A] (verified)
3.11.52.3 Rubi [B] (verified)
3.11.52.4 Maple [B] (verified)
3.11.52.5 Fricas [B] (verification not implemented)
3.11.52.6 Sympy [B] (verification not implemented)
3.11.52.7 Maxima [B] (verification not implemented)
3.11.52.8 Giac [B] (verification not implemented)
3.11.52.9 Mupad [B] (verification not implemented)

3.11.52.1 Optimal result

Integrand size = 191, antiderivative size = 28 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=x^2+e^{\left (e^5+x-x^2\right )^4} (4+2 x)+x \log (4) \]

output
x^2+2*x*ln(2)+exp((exp(5)-x^2+x)^4)*(4+2*x)
 
3.11.52.2 Mathematica [A] (verified)

Time = 11.06 (sec) , antiderivative size = 26, normalized size of antiderivative = 0.93 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=2 e^{\left (e^5+x-x^2\right )^4} (2+x)+x (x+\log (4)) \]

input
Integrate[2*x + E^(E^20 + x^4 - 4*x^5 + 6*x^6 - 4*x^7 + x^8 + E^15*(4*x - 
4*x^2) + E^10*(6*x^2 - 12*x^3 + 6*x^4) + E^5*(4*x^3 - 12*x^4 + 12*x^5 - 4* 
x^6))*(2 + 16*x^3 - 72*x^4 + 104*x^5 - 40*x^6 - 24*x^7 + 16*x^8 + E^15*(16 
 - 24*x - 16*x^2) + E^10*(48*x - 120*x^2 + 24*x^3 + 48*x^4) + E^5*(48*x^2 
- 168*x^3 + 144*x^4 + 24*x^5 - 48*x^6)) + Log[4],x]
 
output
2*E^(E^5 + x - x^2)^4*(2 + x) + x*(x + Log[4])
 
3.11.52.3 Rubi [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(262\) vs. \(2(28)=56\).

Time = 3.65 (sec) , antiderivative size = 262, normalized size of antiderivative = 9.36, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.005, Rules used = {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 \left (\left (16 x^8-24 x^7-40 x^6+104 x^5-72 x^4+16 x^3+e^{15} \left (-16 x^2-24 x+16\right )+e^{10} \left (48 x^4+24 x^3-120 x^2+48 x\right )+e^5 \left (-48 x^6+24 x^5+144 x^4-168 x^3+48 x^2\right )+2\right ) \exp \left (x^8-4 x^7+6 x^6-4 x^5+x^4+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^4-12 x^3+6 x^2\right )+e^5 \left (-4 x^6+12 x^5-12 x^4+4 x^3\right )+e^{20}\right )+2 x+\log (4)\right ) \, dx\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {2 \left (2 x^8-3 x^7-5 x^6+13 x^5-9 x^4+2 x^3+e^{15} \left (-2 x^2-3 x+2\right )+3 e^{10} \left (2 x^4+x^3-5 x^2+2 x\right )+3 e^5 \left (-2 x^6+x^5+6 x^4-7 x^3+2 x^2\right )\right ) \exp \left (x^8-4 x^7+6 x^6-4 x^5+x^4+4 e^{15} \left (x-x^2\right )+6 e^{10} \left (x^4-2 x^3+x^2\right )+4 e^5 \left (-x^6+3 x^5-3 x^4+x^3\right )+e^{20}\right )}{2 x^7-7 x^6+9 x^5-5 x^4+x^3+3 e^{10} \left (2 x^3-3 x^2+x\right )+3 e^5 \left (-2 x^5+5 x^4-4 x^3+x^2\right )+e^{15} (1-2 x)}+x^2+x \log (4)\)

input
Int[2*x + E^(E^20 + x^4 - 4*x^5 + 6*x^6 - 4*x^7 + x^8 + E^15*(4*x - 4*x^2) 
 + E^10*(6*x^2 - 12*x^3 + 6*x^4) + E^5*(4*x^3 - 12*x^4 + 12*x^5 - 4*x^6))* 
(2 + 16*x^3 - 72*x^4 + 104*x^5 - 40*x^6 - 24*x^7 + 16*x^8 + E^15*(16 - 24* 
x - 16*x^2) + E^10*(48*x - 120*x^2 + 24*x^3 + 48*x^4) + E^5*(48*x^2 - 168* 
x^3 + 144*x^4 + 24*x^5 - 48*x^6)) + Log[4],x]
 
output
x^2 + (2*E^(E^20 + x^4 - 4*x^5 + 6*x^6 - 4*x^7 + x^8 + 4*E^15*(x - x^2) + 
6*E^10*(x^2 - 2*x^3 + x^4) + 4*E^5*(x^3 - 3*x^4 + 3*x^5 - x^6))*(2*x^3 - 9 
*x^4 + 13*x^5 - 5*x^6 - 3*x^7 + 2*x^8 + E^15*(2 - 3*x - 2*x^2) + 3*E^10*(2 
*x - 5*x^2 + x^3 + 2*x^4) + 3*E^5*(2*x^2 - 7*x^3 + 6*x^4 + x^5 - 2*x^6)))/ 
(E^15*(1 - 2*x) + x^3 - 5*x^4 + 9*x^5 - 7*x^6 + 2*x^7 + 3*E^10*(x - 3*x^2 
+ 2*x^3) + 3*E^5*(x^2 - 4*x^3 + 5*x^4 - 2*x^5)) + x*Log[4]
 

3.11.52.3.1 Defintions of rubi rules used

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 
3.11.52.4 Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(101\) vs. \(2(27)=54\).

Time = 54.01 (sec) , antiderivative size = 102, normalized size of antiderivative = 3.64

method result size
risch \(\left (4+2 x \right ) {\mathrm e}^{x^{8}-4 x^{6} {\mathrm e}^{5}-4 x^{7}+12 x^{5} {\mathrm e}^{5}+6 x^{6}-12 x^{4} {\mathrm e}^{5}+6 x^{4} {\mathrm e}^{10}-4 x^{5}+4 x^{3} {\mathrm e}^{5}-12 x^{3} {\mathrm e}^{10}+x^{4}+6 x^{2} {\mathrm e}^{10}-4 x^{2} {\mathrm e}^{15}+4 x \,{\mathrm e}^{15}+{\mathrm e}^{20}}+2 x \ln \left (2\right )+x^{2}\) \(102\)
default \(2 x \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+4 \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+x^{2}+2 x \ln \left (2\right )\) \(187\)
norman \(2 x \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+4 \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+x^{2}+2 x \ln \left (2\right )\) \(187\)
parallelrisch \(2 x \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+4 \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+x^{2}+2 x \ln \left (2\right )\) \(187\)
parts \(2 x \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+4 \,{\mathrm e}^{{\mathrm e}^{20}+\left (-4 x^{2}+4 x \right ) {\mathrm e}^{15}+\left (6 x^{4}-12 x^{3}+6 x^{2}\right ) {\mathrm e}^{10}+\left (-4 x^{6}+12 x^{5}-12 x^{4}+4 x^{3}\right ) {\mathrm e}^{5}+x^{8}-4 x^{7}+6 x^{6}-4 x^{5}+x^{4}}+x^{2}+2 x \ln \left (2\right )\) \(187\)

input
int(((-16*x^2-24*x+16)*exp(5)^3+(48*x^4+24*x^3-120*x^2+48*x)*exp(5)^2+(-48 
*x^6+24*x^5+144*x^4-168*x^3+48*x^2)*exp(5)+16*x^8-24*x^7-40*x^6+104*x^5-72 
*x^4+16*x^3+2)*exp(exp(5)^4+(-4*x^2+4*x)*exp(5)^3+(6*x^4-12*x^3+6*x^2)*exp 
(5)^2+(-4*x^6+12*x^5-12*x^4+4*x^3)*exp(5)+x^8-4*x^7+6*x^6-4*x^5+x^4)+2*ln( 
2)+2*x,x,method=_RETURNVERBOSE)
 
output
(4+2*x)*exp(x^8-4*x^6*exp(5)-4*x^7+12*x^5*exp(5)+6*x^6-12*x^4*exp(5)+6*x^4 
*exp(10)-4*x^5+4*x^3*exp(5)-12*x^3*exp(10)+x^4+6*x^2*exp(10)-4*x^2*exp(15) 
+4*x*exp(15)+exp(20))+2*x*ln(2)+x^2
 
3.11.52.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 89 vs. \(2 (28) = 56\).

Time = 0.26 (sec) , antiderivative size = 89, normalized size of antiderivative = 3.18 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=x^{2} + 2 \, {\left (x + 2\right )} e^{\left (x^{8} - 4 \, x^{7} + 6 \, x^{6} - 4 \, x^{5} + x^{4} - 4 \, {\left (x^{2} - x\right )} e^{15} + 6 \, {\left (x^{4} - 2 \, x^{3} + x^{2}\right )} e^{10} - 4 \, {\left (x^{6} - 3 \, x^{5} + 3 \, x^{4} - x^{3}\right )} e^{5} + e^{20}\right )} + 2 \, x \log \left (2\right ) \]

input
integrate(((-16*x^2-24*x+16)*exp(5)^3+(48*x^4+24*x^3-120*x^2+48*x)*exp(5)^ 
2+(-48*x^6+24*x^5+144*x^4-168*x^3+48*x^2)*exp(5)+16*x^8-24*x^7-40*x^6+104* 
x^5-72*x^4+16*x^3+2)*exp(exp(5)^4+(-4*x^2+4*x)*exp(5)^3+(6*x^4-12*x^3+6*x^ 
2)*exp(5)^2+(-4*x^6+12*x^5-12*x^4+4*x^3)*exp(5)+x^8-4*x^7+6*x^6-4*x^5+x^4) 
+2*log(2)+2*x,x, algorithm=\
 
output
x^2 + 2*(x + 2)*e^(x^8 - 4*x^7 + 6*x^6 - 4*x^5 + x^4 - 4*(x^2 - x)*e^15 + 
6*(x^4 - 2*x^3 + x^2)*e^10 - 4*(x^6 - 3*x^5 + 3*x^4 - x^3)*e^5 + e^20) + 2 
*x*log(2)
 
3.11.52.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 95 vs. \(2 (26) = 52\).

Time = 0.22 (sec) , antiderivative size = 95, normalized size of antiderivative = 3.39 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=x^{2} + 2 x \log {\left (2 \right )} + \left (2 x + 4\right ) e^{x^{8} - 4 x^{7} + 6 x^{6} - 4 x^{5} + x^{4} + \left (- 4 x^{2} + 4 x\right ) e^{15} + \left (6 x^{4} - 12 x^{3} + 6 x^{2}\right ) e^{10} + \left (- 4 x^{6} + 12 x^{5} - 12 x^{4} + 4 x^{3}\right ) e^{5} + e^{20}} \]

input
integrate(((-16*x**2-24*x+16)*exp(5)**3+(48*x**4+24*x**3-120*x**2+48*x)*ex 
p(5)**2+(-48*x**6+24*x**5+144*x**4-168*x**3+48*x**2)*exp(5)+16*x**8-24*x** 
7-40*x**6+104*x**5-72*x**4+16*x**3+2)*exp(exp(5)**4+(-4*x**2+4*x)*exp(5)** 
3+(6*x**4-12*x**3+6*x**2)*exp(5)**2+(-4*x**6+12*x**5-12*x**4+4*x**3)*exp(5 
)+x**8-4*x**7+6*x**6-4*x**5+x**4)+2*ln(2)+2*x,x)
 
output
x**2 + 2*x*log(2) + (2*x + 4)*exp(x**8 - 4*x**7 + 6*x**6 - 4*x**5 + x**4 + 
 (-4*x**2 + 4*x)*exp(15) + (6*x**4 - 12*x**3 + 6*x**2)*exp(10) + (-4*x**6 
+ 12*x**5 - 12*x**4 + 4*x**3)*exp(5) + exp(20))
 
3.11.52.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 106 vs. \(2 (28) = 56\).

Time = 0.22 (sec) , antiderivative size = 106, normalized size of antiderivative = 3.79 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=x^{2} + 2 \, {\left (x e^{\left (e^{20}\right )} + 2 \, e^{\left (e^{20}\right )}\right )} e^{\left (x^{8} - 4 \, x^{7} - 4 \, x^{6} e^{5} + 6 \, x^{6} + 12 \, x^{5} e^{5} - 4 \, x^{5} + 6 \, x^{4} e^{10} - 12 \, x^{4} e^{5} + x^{4} - 12 \, x^{3} e^{10} + 4 \, x^{3} e^{5} - 4 \, x^{2} e^{15} + 6 \, x^{2} e^{10} + 4 \, x e^{15}\right )} + 2 \, x \log \left (2\right ) \]

input
integrate(((-16*x^2-24*x+16)*exp(5)^3+(48*x^4+24*x^3-120*x^2+48*x)*exp(5)^ 
2+(-48*x^6+24*x^5+144*x^4-168*x^3+48*x^2)*exp(5)+16*x^8-24*x^7-40*x^6+104* 
x^5-72*x^4+16*x^3+2)*exp(exp(5)^4+(-4*x^2+4*x)*exp(5)^3+(6*x^4-12*x^3+6*x^ 
2)*exp(5)^2+(-4*x^6+12*x^5-12*x^4+4*x^3)*exp(5)+x^8-4*x^7+6*x^6-4*x^5+x^4) 
+2*log(2)+2*x,x, algorithm=\
 
output
x^2 + 2*(x*e^(e^20) + 2*e^(e^20))*e^(x^8 - 4*x^7 - 4*x^6*e^5 + 6*x^6 + 12* 
x^5*e^5 - 4*x^5 + 6*x^4*e^10 - 12*x^4*e^5 + x^4 - 12*x^3*e^10 + 4*x^3*e^5 
- 4*x^2*e^15 + 6*x^2*e^10 + 4*x*e^15) + 2*x*log(2)
 
3.11.52.8 Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 192 vs. \(2 (28) = 56\).

Time = 0.64 (sec) , antiderivative size = 192, normalized size of antiderivative = 6.86 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=x^{2} + 2 \, {\left (x e^{\left (x^{8} - 4 \, x^{7} - 4 \, x^{6} e^{5} + 6 \, x^{6} + 12 \, x^{5} e^{5} - 4 \, x^{5} + 6 \, x^{4} e^{10} - 12 \, x^{4} e^{5} + x^{4} - 12 \, x^{3} e^{10} + 4 \, x^{3} e^{5} - 4 \, x^{2} e^{15} + 6 \, x^{2} e^{10} + 4 \, x e^{15} + e^{20} + 5\right )} + 2 \, e^{\left (x^{8} - 4 \, x^{7} - 4 \, x^{6} e^{5} + 6 \, x^{6} + 12 \, x^{5} e^{5} - 4 \, x^{5} + 6 \, x^{4} e^{10} - 12 \, x^{4} e^{5} + x^{4} - 12 \, x^{3} e^{10} + 4 \, x^{3} e^{5} - 4 \, x^{2} e^{15} + 6 \, x^{2} e^{10} + 4 \, x e^{15} + e^{20} + 5\right )}\right )} e^{\left (-5\right )} + 2 \, x \log \left (2\right ) \]

input
integrate(((-16*x^2-24*x+16)*exp(5)^3+(48*x^4+24*x^3-120*x^2+48*x)*exp(5)^ 
2+(-48*x^6+24*x^5+144*x^4-168*x^3+48*x^2)*exp(5)+16*x^8-24*x^7-40*x^6+104* 
x^5-72*x^4+16*x^3+2)*exp(exp(5)^4+(-4*x^2+4*x)*exp(5)^3+(6*x^4-12*x^3+6*x^ 
2)*exp(5)^2+(-4*x^6+12*x^5-12*x^4+4*x^3)*exp(5)+x^8-4*x^7+6*x^6-4*x^5+x^4) 
+2*log(2)+2*x,x, algorithm=\
 
output
x^2 + 2*(x*e^(x^8 - 4*x^7 - 4*x^6*e^5 + 6*x^6 + 12*x^5*e^5 - 4*x^5 + 6*x^4 
*e^10 - 12*x^4*e^5 + x^4 - 12*x^3*e^10 + 4*x^3*e^5 - 4*x^2*e^15 + 6*x^2*e^ 
10 + 4*x*e^15 + e^20 + 5) + 2*e^(x^8 - 4*x^7 - 4*x^6*e^5 + 6*x^6 + 12*x^5* 
e^5 - 4*x^5 + 6*x^4*e^10 - 12*x^4*e^5 + x^4 - 12*x^3*e^10 + 4*x^3*e^5 - 4* 
x^2*e^15 + 6*x^2*e^10 + 4*x*e^15 + e^20 + 5))*e^(-5) + 2*x*log(2)
 
3.11.52.9 Mupad [B] (verification not implemented)

Time = 12.69 (sec) , antiderivative size = 186, normalized size of antiderivative = 6.64 \[ \int \left (2 x+e^{e^{20}+x^4-4 x^5+6 x^6-4 x^7+x^8+e^{15} \left (4 x-4 x^2\right )+e^{10} \left (6 x^2-12 x^3+6 x^4\right )+e^5 \left (4 x^3-12 x^4+12 x^5-4 x^6\right )} \left (2+16 x^3-72 x^4+104 x^5-40 x^6-24 x^7+16 x^8+e^{15} \left (16-24 x-16 x^2\right )+e^{10} \left (48 x-120 x^2+24 x^3+48 x^4\right )+e^5 \left (48 x^2-168 x^3+144 x^4+24 x^5-48 x^6\right )\right )+\log (4)\right ) \, dx=4\,{\mathrm {e}}^{{\mathrm {e}}^{20}+4\,x\,{\mathrm {e}}^{15}+4\,x^3\,{\mathrm {e}}^5-12\,x^4\,{\mathrm {e}}^5+12\,x^5\,{\mathrm {e}}^5-4\,x^6\,{\mathrm {e}}^5+6\,x^2\,{\mathrm {e}}^{10}-12\,x^3\,{\mathrm {e}}^{10}+6\,x^4\,{\mathrm {e}}^{10}-4\,x^2\,{\mathrm {e}}^{15}+x^4-4\,x^5+6\,x^6-4\,x^7+x^8}+2\,x\,\ln \left (2\right )+2\,x\,{\mathrm {e}}^{{\mathrm {e}}^{20}+4\,x\,{\mathrm {e}}^{15}+4\,x^3\,{\mathrm {e}}^5-12\,x^4\,{\mathrm {e}}^5+12\,x^5\,{\mathrm {e}}^5-4\,x^6\,{\mathrm {e}}^5+6\,x^2\,{\mathrm {e}}^{10}-12\,x^3\,{\mathrm {e}}^{10}+6\,x^4\,{\mathrm {e}}^{10}-4\,x^2\,{\mathrm {e}}^{15}+x^4-4\,x^5+6\,x^6-4\,x^7+x^8}+x^2 \]

input
int(2*x + 2*log(2) + exp(exp(20) + exp(15)*(4*x - 4*x^2) + exp(10)*(6*x^2 
- 12*x^3 + 6*x^4) + x^4 - 4*x^5 + 6*x^6 - 4*x^7 + x^8 + exp(5)*(4*x^3 - 12 
*x^4 + 12*x^5 - 4*x^6))*(exp(5)*(48*x^2 - 168*x^3 + 144*x^4 + 24*x^5 - 48* 
x^6) - exp(15)*(24*x + 16*x^2 - 16) + exp(10)*(48*x - 120*x^2 + 24*x^3 + 4 
8*x^4) + 16*x^3 - 72*x^4 + 104*x^5 - 40*x^6 - 24*x^7 + 16*x^8 + 2),x)
 
output
4*exp(exp(20) + 4*x*exp(15) + 4*x^3*exp(5) - 12*x^4*exp(5) + 12*x^5*exp(5) 
 - 4*x^6*exp(5) + 6*x^2*exp(10) - 12*x^3*exp(10) + 6*x^4*exp(10) - 4*x^2*e 
xp(15) + x^4 - 4*x^5 + 6*x^6 - 4*x^7 + x^8) + 2*x*log(2) + 2*x*exp(exp(20) 
 + 4*x*exp(15) + 4*x^3*exp(5) - 12*x^4*exp(5) + 12*x^5*exp(5) - 4*x^6*exp( 
5) + 6*x^2*exp(10) - 12*x^3*exp(10) + 6*x^4*exp(10) - 4*x^2*exp(15) + x^4 
- 4*x^5 + 6*x^6 - 4*x^7 + x^8) + x^2