\(\int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} (x^2-2 x^3+x^4)+e^{15/2} (-8 x^3+16 x^4-8 x^5)+e^5 (24 x^4-48 x^5+24 x^6)+e^{5/2} (-32 x^5+64 x^6-32 x^7)} (1+96 x^6-224 x^7+128 x^8+e^{10} (2 x^2-6 x^3+4 x^4)+e^{15/2} (-24 x^3+64 x^4-40 x^5)+e^5 (96 x^4-240 x^5+144 x^6)+e^{5/2} (-160 x^5+384 x^6-224 x^7)) \, dx\) [823]

Optimal result

Integrand size = 203, antiderivative size = 28 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {1}{25} e^{\left (e^{5/2}-2 x\right )^4 \left (-x+x^2\right )^2} x \] Output:

1/25*exp((exp(5/2)-2*x)^4*(x^2-x)^2)*x
 

Mathematica [A] (verified)

Time = 11.03 (sec) , antiderivative size = 27, normalized size of antiderivative = 0.96 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {1}{25} e^{\left (e^{5/2}-2 x\right )^4 (-1+x)^2 x^2} x \] Input:

Integrate[(E^(16*x^6 - 32*x^7 + 16*x^8 + E^10*(x^2 - 2*x^3 + x^4) + E^(15/ 
2)*(-8*x^3 + 16*x^4 - 8*x^5) + E^5*(24*x^4 - 48*x^5 + 24*x^6) + E^(5/2)*(- 
32*x^5 + 64*x^6 - 32*x^7))*(1 + 96*x^6 - 224*x^7 + 128*x^8 + E^10*(2*x^2 - 
 6*x^3 + 4*x^4) + E^(15/2)*(-24*x^3 + 64*x^4 - 40*x^5) + E^5*(96*x^4 - 240 
*x^5 + 144*x^6) + E^(5/2)*(-160*x^5 + 384*x^6 - 224*x^7)))/25,x]
 

Output:

(E^((E^(5/2) - 2*x)^4*(-1 + x)^2*x^2)*x)/25
 

Rubi [B] (verified)

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

Time = 4.23 (sec) , antiderivative size = 295, normalized size of antiderivative = 10.54, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.010, Rules used = {27, 2726}

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 {1}{25} \left (128 x^8-224 x^7+96 x^6+e^{5/2} \left (-224 x^7+384 x^6-160 x^5\right )+e^5 \left (144 x^6-240 x^5+96 x^4\right )+e^{15/2} \left (-40 x^5+64 x^4-24 x^3\right )+e^{10} \left (4 x^4-6 x^3+2 x^2\right )+1\right ) \exp \left (16 x^8-32 x^7+16 x^6+e^{5/2} \left (-32 x^7+64 x^6-32 x^5\right )+e^5 \left (24 x^6-48 x^5+24 x^4\right )+e^{15/2} \left (-8 x^5+16 x^4-8 x^3\right )+e^{10} \left (x^4-2 x^3+x^2\right )\right ) \, dx\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {1}{25} \int \exp \left (16 x^8-32 x^7+16 x^6+e^{10} \left (x^4-2 x^3+x^2\right )-8 e^{15/2} \left (x^5-2 x^4+x^3\right )+24 e^5 \left (x^6-2 x^5+x^4\right )-32 e^{5/2} \left (x^7-2 x^6+x^5\right )\right ) \left (128 x^8-224 x^7+96 x^6+2 e^{10} \left (2 x^4-3 x^3+x^2\right )-8 e^{15/2} \left (5 x^5-8 x^4+3 x^3\right )+48 e^5 \left (3 x^6-5 x^5+2 x^4\right )-32 e^{5/2} \left (7 x^7-12 x^6+5 x^5\right )+1\right )dx\)

\(\Big \downarrow \) 2726

\(\displaystyle \frac {\left (64 x^8-112 x^7+48 x^6-16 e^{5/2} \left (7 x^7-12 x^6+5 x^5\right )+24 e^5 \left (3 x^6-5 x^5+2 x^4\right )-4 e^{15/2} \left (5 x^5-8 x^4+3 x^3\right )+e^{10} \left (2 x^4-3 x^3+x^2\right )\right ) \exp \left (16 x^8-32 x^7+16 x^6-32 e^{5/2} \left (x^7-2 x^6+x^5\right )+24 e^5 \left (x^6-2 x^5+x^4\right )-8 e^{15/2} \left (x^5-2 x^4+x^3\right )+e^{10} \left (x^4-2 x^3+x^2\right )\right )}{25 \left (64 x^7-112 x^6+48 x^5+e^{10} \left (2 x^3-3 x^2+x\right )-16 e^{5/2} \left (7 x^6-12 x^5+5 x^4\right )+24 e^5 \left (3 x^5-5 x^4+2 x^3\right )-4 e^{15/2} \left (5 x^4-8 x^3+3 x^2\right )\right )}\)

Input:

Int[(E^(16*x^6 - 32*x^7 + 16*x^8 + E^10*(x^2 - 2*x^3 + x^4) + E^(15/2)*(-8 
*x^3 + 16*x^4 - 8*x^5) + E^5*(24*x^4 - 48*x^5 + 24*x^6) + E^(5/2)*(-32*x^5 
 + 64*x^6 - 32*x^7))*(1 + 96*x^6 - 224*x^7 + 128*x^8 + E^10*(2*x^2 - 6*x^3 
 + 4*x^4) + E^(15/2)*(-24*x^3 + 64*x^4 - 40*x^5) + E^5*(96*x^4 - 240*x^5 + 
 144*x^6) + E^(5/2)*(-160*x^5 + 384*x^6 - 224*x^7)))/25,x]
 

Output:

(E^(16*x^6 - 32*x^7 + 16*x^8 + E^10*(x^2 - 2*x^3 + x^4) - 8*E^(15/2)*(x^3 
- 2*x^4 + x^5) + 24*E^5*(x^4 - 2*x^5 + x^6) - 32*E^(5/2)*(x^5 - 2*x^6 + x^ 
7))*(48*x^6 - 112*x^7 + 64*x^8 + E^10*(x^2 - 3*x^3 + 2*x^4) - 4*E^(15/2)*( 
3*x^3 - 8*x^4 + 5*x^5) + 24*E^5*(2*x^4 - 5*x^5 + 3*x^6) - 16*E^(5/2)*(5*x^ 
5 - 12*x^6 + 7*x^7)))/(25*(48*x^5 - 112*x^6 + 64*x^7 + E^10*(x - 3*x^2 + 2 
*x^3) - 4*E^(15/2)*(3*x^2 - 8*x^3 + 5*x^4) + 24*E^5*(2*x^3 - 5*x^4 + 3*x^5 
) - 16*E^(5/2)*(5*x^4 - 12*x^5 + 7*x^6)))
 

Defintions of rubi rules used

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 2726

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = v*(y/(Log[F]*D[u, 
 x]))}, Simp[F^u*z, x] /; EqQ[D[z, x], w*y]] /; FreeQ[F, x]
 

Maple [B] (verified)

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

Time = 0.03 (sec) , antiderivative size = 121, normalized size of antiderivative = 4.32

\[\frac {x \,{\mathrm e}^{x^{4} {\mathrm e}^{10}-8 \,{\mathrm e}^{\frac {15}{2}} x^{5}+24 \,{\mathrm e}^{5} x^{6}-32 \,{\mathrm e}^{\frac {5}{2}} x^{7}+16 x^{8}-2 x^{3} {\mathrm e}^{10}+16 \,{\mathrm e}^{\frac {15}{2}} x^{4}-48 x^{5} {\mathrm e}^{5}+64 \,{\mathrm e}^{\frac {5}{2}} x^{6}-32 x^{7}+x^{2} {\mathrm e}^{10}-8 \,{\mathrm e}^{\frac {15}{2}} x^{3}+24 x^{4} {\mathrm e}^{5}-32 \,{\mathrm e}^{\frac {5}{2}} x^{5}+16 x^{6}}}{25}\]

Input:

int(1/25*((4*x^4-6*x^3+2*x^2)*exp(5/2)^4+(-40*x^5+64*x^4-24*x^3)*exp(5/2)^ 
3+(144*x^6-240*x^5+96*x^4)*exp(5/2)^2+(-224*x^7+384*x^6-160*x^5)*exp(5/2)+ 
128*x^8-224*x^7+96*x^6+1)*exp((x^4-2*x^3+x^2)*exp(5/2)^4+(-8*x^5+16*x^4-8* 
x^3)*exp(5/2)^3+(24*x^6-48*x^5+24*x^4)*exp(5/2)^2+(-32*x^7+64*x^6-32*x^5)* 
exp(5/2)+16*x^8-32*x^7+16*x^6),x)
 

Output:

1/25*x*exp(exp(5/2)^4*x^4-8*exp(5/2)^3*x^5+24*exp(5/2)^2*x^6-32*exp(5/2)*x 
^7+16*x^8-2*exp(5/2)^4*x^3+16*exp(5/2)^3*x^4-48*exp(5/2)^2*x^5+64*exp(5/2) 
*x^6-32*x^7+exp(5/2)^4*x^2-8*exp(5/2)^3*x^3+24*exp(5/2)^2*x^4-32*exp(5/2)* 
x^5+16*x^6)
 

Fricas [B] (verification not implemented)

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

Time = 0.12 (sec) , antiderivative size = 83, normalized size of antiderivative = 2.96 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {1}{25} \, x e^{\left (16 \, x^{8} - 32 \, x^{7} + 16 \, x^{6} + {\left (x^{4} - 2 \, x^{3} + x^{2}\right )} e^{10} - 8 \, {\left (x^{5} - 2 \, x^{4} + x^{3}\right )} e^{\frac {15}{2}} + 24 \, {\left (x^{6} - 2 \, x^{5} + x^{4}\right )} e^{5} - 32 \, {\left (x^{7} - 2 \, x^{6} + x^{5}\right )} e^{\frac {5}{2}}\right )} \] Input:

integrate(1/25*((4*x^4-6*x^3+2*x^2)*exp(5/2)^4+(-40*x^5+64*x^4-24*x^3)*exp 
(5/2)^3+(144*x^6-240*x^5+96*x^4)*exp(5/2)^2+(-224*x^7+384*x^6-160*x^5)*exp 
(5/2)+128*x^8-224*x^7+96*x^6+1)*exp((x^4-2*x^3+x^2)*exp(5/2)^4+(-8*x^5+16* 
x^4-8*x^3)*exp(5/2)^3+(24*x^6-48*x^5+24*x^4)*exp(5/2)^2+(-32*x^7+64*x^6-32 
*x^5)*exp(5/2)+16*x^8-32*x^7+16*x^6),x, algorithm="fricas")
 

Output:

1/25*x*e^(16*x^8 - 32*x^7 + 16*x^6 + (x^4 - 2*x^3 + x^2)*e^10 - 8*(x^5 - 2 
*x^4 + x^3)*e^(15/2) + 24*(x^6 - 2*x^5 + x^4)*e^5 - 32*(x^7 - 2*x^6 + x^5) 
*e^(5/2))
 

Sympy [B] (verification not implemented)

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

Time = 0.21 (sec) , antiderivative size = 94, normalized size of antiderivative = 3.36 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {x e^{16 x^{8} - 32 x^{7} + 16 x^{6} + \left (x^{4} - 2 x^{3} + x^{2}\right ) e^{10} + \left (- 8 x^{5} + 16 x^{4} - 8 x^{3}\right ) e^{\frac {15}{2}} + \left (24 x^{6} - 48 x^{5} + 24 x^{4}\right ) e^{5} + \left (- 32 x^{7} + 64 x^{6} - 32 x^{5}\right ) e^{\frac {5}{2}}}}{25} \] Input:

integrate(1/25*((4*x**4-6*x**3+2*x**2)*exp(5/2)**4+(-40*x**5+64*x**4-24*x* 
*3)*exp(5/2)**3+(144*x**6-240*x**5+96*x**4)*exp(5/2)**2+(-224*x**7+384*x** 
6-160*x**5)*exp(5/2)+128*x**8-224*x**7+96*x**6+1)*exp((x**4-2*x**3+x**2)*e 
xp(5/2)**4+(-8*x**5+16*x**4-8*x**3)*exp(5/2)**3+(24*x**6-48*x**5+24*x**4)* 
exp(5/2)**2+(-32*x**7+64*x**6-32*x**5)*exp(5/2)+16*x**8-32*x**7+16*x**6),x 
)
 

Output:

x*exp(16*x**8 - 32*x**7 + 16*x**6 + (x**4 - 2*x**3 + x**2)*exp(10) + (-8*x 
**5 + 16*x**4 - 8*x**3)*exp(15/2) + (24*x**6 - 48*x**5 + 24*x**4)*exp(5) + 
 (-32*x**7 + 64*x**6 - 32*x**5)*exp(5/2))/25
 

Maxima [B] (verification not implemented)

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

Time = 0.56 (sec) , antiderivative size = 102, normalized size of antiderivative = 3.64 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {1}{25} \, x e^{\left (16 \, x^{8} - 32 \, x^{7} e^{\frac {5}{2}} - 32 \, x^{7} + 24 \, x^{6} e^{5} + 64 \, x^{6} e^{\frac {5}{2}} + 16 \, x^{6} - 8 \, x^{5} e^{\frac {15}{2}} - 48 \, x^{5} e^{5} - 32 \, x^{5} e^{\frac {5}{2}} + x^{4} e^{10} + 16 \, x^{4} e^{\frac {15}{2}} + 24 \, x^{4} e^{5} - 2 \, x^{3} e^{10} - 8 \, x^{3} e^{\frac {15}{2}} + x^{2} e^{10}\right )} \] Input:

integrate(1/25*((4*x^4-6*x^3+2*x^2)*exp(5/2)^4+(-40*x^5+64*x^4-24*x^3)*exp 
(5/2)^3+(144*x^6-240*x^5+96*x^4)*exp(5/2)^2+(-224*x^7+384*x^6-160*x^5)*exp 
(5/2)+128*x^8-224*x^7+96*x^6+1)*exp((x^4-2*x^3+x^2)*exp(5/2)^4+(-8*x^5+16* 
x^4-8*x^3)*exp(5/2)^3+(24*x^6-48*x^5+24*x^4)*exp(5/2)^2+(-32*x^7+64*x^6-32 
*x^5)*exp(5/2)+16*x^8-32*x^7+16*x^6),x, algorithm="maxima")
 

Output:

1/25*x*e^(16*x^8 - 32*x^7*e^(5/2) - 32*x^7 + 24*x^6*e^5 + 64*x^6*e^(5/2) + 
 16*x^6 - 8*x^5*e^(15/2) - 48*x^5*e^5 - 32*x^5*e^(5/2) + x^4*e^10 + 16*x^4 
*e^(15/2) + 24*x^4*e^5 - 2*x^3*e^10 - 8*x^3*e^(15/2) + x^2*e^10)
 

Giac [B] (verification not implemented)

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

Time = 0.32 (sec) , antiderivative size = 102, normalized size of antiderivative = 3.64 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {1}{25} \, x e^{\left (16 \, x^{8} - 32 \, x^{7} e^{\frac {5}{2}} - 32 \, x^{7} + 24 \, x^{6} e^{5} + 64 \, x^{6} e^{\frac {5}{2}} + 16 \, x^{6} - 8 \, x^{5} e^{\frac {15}{2}} - 48 \, x^{5} e^{5} - 32 \, x^{5} e^{\frac {5}{2}} + x^{4} e^{10} + 16 \, x^{4} e^{\frac {15}{2}} + 24 \, x^{4} e^{5} - 2 \, x^{3} e^{10} - 8 \, x^{3} e^{\frac {15}{2}} + x^{2} e^{10}\right )} \] Input:

integrate(1/25*((4*x^4-6*x^3+2*x^2)*exp(5/2)^4+(-40*x^5+64*x^4-24*x^3)*exp 
(5/2)^3+(144*x^6-240*x^5+96*x^4)*exp(5/2)^2+(-224*x^7+384*x^6-160*x^5)*exp 
(5/2)+128*x^8-224*x^7+96*x^6+1)*exp((x^4-2*x^3+x^2)*exp(5/2)^4+(-8*x^5+16* 
x^4-8*x^3)*exp(5/2)^3+(24*x^6-48*x^5+24*x^4)*exp(5/2)^2+(-32*x^7+64*x^6-32 
*x^5)*exp(5/2)+16*x^8-32*x^7+16*x^6),x, algorithm="giac")
 

Output:

1/25*x*e^(16*x^8 - 32*x^7*e^(5/2) - 32*x^7 + 24*x^6*e^5 + 64*x^6*e^(5/2) + 
 16*x^6 - 8*x^5*e^(15/2) - 48*x^5*e^5 - 32*x^5*e^(5/2) + x^4*e^10 + 16*x^4 
*e^(15/2) + 24*x^4*e^5 - 2*x^3*e^10 - 8*x^3*e^(15/2) + x^2*e^10)
 

Mupad [B] (verification not implemented)

Time = 0.90 (sec) , antiderivative size = 115, normalized size of antiderivative = 4.11 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {x\,{\mathrm {e}}^{x^2\,{\mathrm {e}}^{10}}\,{\mathrm {e}}^{x^4\,{\mathrm {e}}^{10}}\,{\mathrm {e}}^{-2\,x^3\,{\mathrm {e}}^{10}}\,{\mathrm {e}}^{-8\,x^3\,{\mathrm {e}}^{15/2}}\,{\mathrm {e}}^{-8\,x^5\,{\mathrm {e}}^{15/2}}\,{\mathrm {e}}^{24\,x^4\,{\mathrm {e}}^5}\,{\mathrm {e}}^{24\,x^6\,{\mathrm {e}}^5}\,{\mathrm {e}}^{16\,x^4\,{\mathrm {e}}^{15/2}}\,{\mathrm {e}}^{-32\,x^5\,{\mathrm {e}}^{5/2}}\,{\mathrm {e}}^{-32\,x^7\,{\mathrm {e}}^{5/2}}\,{\mathrm {e}}^{-48\,x^5\,{\mathrm {e}}^5}\,{\mathrm {e}}^{64\,x^6\,{\mathrm {e}}^{5/2}}\,{\mathrm {e}}^{16\,x^6}\,{\mathrm {e}}^{16\,x^8}\,{\mathrm {e}}^{-32\,x^7}}{25} \] Input:

int((exp(exp(10)*(x^2 - 2*x^3 + x^4) - exp(15/2)*(8*x^3 - 16*x^4 + 8*x^5) 
+ exp(5)*(24*x^4 - 48*x^5 + 24*x^6) - exp(5/2)*(32*x^5 - 64*x^6 + 32*x^7) 
+ 16*x^6 - 32*x^7 + 16*x^8)*(exp(10)*(2*x^2 - 6*x^3 + 4*x^4) - exp(15/2)*( 
24*x^3 - 64*x^4 + 40*x^5) + exp(5)*(96*x^4 - 240*x^5 + 144*x^6) - exp(5/2) 
*(160*x^5 - 384*x^6 + 224*x^7) + 96*x^6 - 224*x^7 + 128*x^8 + 1))/25,x)
 

Output:

(x*exp(x^2*exp(10))*exp(x^4*exp(10))*exp(-2*x^3*exp(10))*exp(-8*x^3*exp(15 
/2))*exp(-8*x^5*exp(15/2))*exp(24*x^4*exp(5))*exp(24*x^6*exp(5))*exp(16*x^ 
4*exp(15/2))*exp(-32*x^5*exp(5/2))*exp(-32*x^7*exp(5/2))*exp(-48*x^5*exp(5 
))*exp(64*x^6*exp(5/2))*exp(16*x^6)*exp(16*x^8)*exp(-32*x^7))/25
 

Reduce [B] (verification not implemented)

Time = 5.11 (sec) , antiderivative size = 132, normalized size of antiderivative = 4.71 \[ \int \frac {1}{25} e^{16 x^6-32 x^7+16 x^8+e^{10} \left (x^2-2 x^3+x^4\right )+e^{15/2} \left (-8 x^3+16 x^4-8 x^5\right )+e^5 \left (24 x^4-48 x^5+24 x^6\right )+e^{5/2} \left (-32 x^5+64 x^6-32 x^7\right )} \left (1+96 x^6-224 x^7+128 x^8+e^{10} \left (2 x^2-6 x^3+4 x^4\right )+e^{15/2} \left (-24 x^3+64 x^4-40 x^5\right )+e^5 \left (96 x^4-240 x^5+144 x^6\right )+e^{5/2} \left (-160 x^5+384 x^6-224 x^7\right )\right ) \, dx=\frac {e^{16 \sqrt {e}\, e^{7} x^{4}+64 \sqrt {e}\, e^{2} x^{6}+e^{10} x^{4}+e^{10} x^{2}+24 e^{5} x^{6}+24 e^{5} x^{4}+16 x^{8}+16 x^{6}} x}{25 e^{8 \sqrt {e}\, e^{7} x^{5}+8 \sqrt {e}\, e^{7} x^{3}+32 \sqrt {e}\, e^{2} x^{7}+32 \sqrt {e}\, e^{2} x^{5}+2 e^{10} x^{3}+48 e^{5} x^{5}+32 x^{7}}} \] Input:

int(1/25*((4*x^4-6*x^3+2*x^2)*exp(5/2)^4+(-40*x^5+64*x^4-24*x^3)*exp(5/2)^ 
3+(144*x^6-240*x^5+96*x^4)*exp(5/2)^2+(-224*x^7+384*x^6-160*x^5)*exp(5/2)+ 
128*x^8-224*x^7+96*x^6+1)*exp((x^4-2*x^3+x^2)*exp(5/2)^4+(-8*x^5+16*x^4-8* 
x^3)*exp(5/2)^3+(24*x^6-48*x^5+24*x^4)*exp(5/2)^2+(-32*x^7+64*x^6-32*x^5)* 
exp(5/2)+16*x^8-32*x^7+16*x^6),x)
 

Output:

(e**(16*sqrt(e)*e**7*x**4 + 64*sqrt(e)*e**2*x**6 + e**10*x**4 + e**10*x**2 
 + 24*e**5*x**6 + 24*e**5*x**4 + 16*x**8 + 16*x**6)*x)/(25*e**(8*sqrt(e)*e 
**7*x**5 + 8*sqrt(e)*e**7*x**3 + 32*sqrt(e)*e**2*x**7 + 32*sqrt(e)*e**2*x* 
*5 + 2*e**10*x**3 + 48*e**5*x**5 + 32*x**7))