3.7.69 \(\int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} (15 x+3 e^2 x)+e^2 (10-6 x-4 x^2))}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx\) [669]

3.7.69.1 Optimal result
3.7.69.2 Mathematica [A] (verified)
3.7.69.3 Rubi [F]
3.7.69.4 Maple [A] (verified)
3.7.69.5 Fricas [A] (verification not implemented)
3.7.69.6 Sympy [A] (verification not implemented)
3.7.69.7 Maxima [F]
3.7.69.8 Giac [F]
3.7.69.9 Mupad [B] (verification not implemented)

3.7.69.1 Optimal result

Integrand size = 111, antiderivative size = 24 \begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} x \end {dmath*}

output
x/exp(-exp(3*x/(exp(2)+5+2*x))+x-5)
 
3.7.69.2 Mathematica [A] (verified)

Time = 0.33 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.00 \begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} x \end {dmath*}

input
Integrate[(E^(5 + E^((3*x)/(5 + E^2 + 2*x)) - x)*(25 + E^4*(1 - x) - 5*x - 
 16*x^2 - 4*x^3 + E^((3*x)/(5 + E^2 + 2*x))*(15*x + 3*E^2*x) + E^2*(10 - 6 
*x - 4*x^2)))/(25 + E^4 + 20*x + 4*x^2 + E^2*(10 + 4*x)),x]
 
output
E^(5 + E^((3*x)/(5 + E^2 + 2*x)) - x)*x
 
3.7.69.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 {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5} \left (-4 x^3-16 x^2+e^2 \left (-4 x^2-6 x+10\right )-5 x+e^4 (1-x)+e^{\frac {3 x}{2 x+e^2+5}} \left (3 e^2 x+15 x\right )+25\right )}{4 x^2+20 x+e^2 (4 x+10)+e^4+25} \, dx\)

\(\Big \downarrow \) 2007

\(\displaystyle \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5} \left (-4 x^3-16 x^2+e^2 \left (-4 x^2-6 x+10\right )-5 x+e^4 (1-x)+e^{\frac {3 x}{2 x+e^2+5}} \left (3 e^2 x+15 x\right )+25\right )}{\left (2 x+e^2+5\right )^2}dx\)

\(\Big \downarrow \) 7293

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

\(\Big \downarrow \) 2009

\(\displaystyle \left (5+e^2\right ) \int e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}dx-4 \int e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}dx-\int e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+7}dx-\int e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5} xdx+\frac {1}{2} \left (5+e^2\right )^3 \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{\left (2 x+e^2+5\right )^2}dx-4 \left (5+e^2\right )^2 \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{\left (2 x+e^2+5\right )^2}dx+\frac {5}{2} \left (5+e^2\right ) \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{\left (2 x+e^2+5\right )^2}dx+25 \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{\left (2 x+e^2+5\right )^2}dx-\frac {1}{2} \left (7+e^2\right ) \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+9}}{\left (2 x+e^2+5\right )^2}dx-\frac {3}{2} \left (5+e^2\right )^2 \int \frac {e^{\frac {3 x}{2 x+e^2+5}-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{\left (2 x+e^2+5\right )^2}dx-\frac {3}{2} \left (5+e^2\right )^2 \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{2 x+e^2+5}dx+8 \left (5+e^2\right ) \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{2 x+e^2+5}dx-\frac {5}{2} \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{2 x+e^2+5}dx+\left (7+2 e^2\right ) \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+7}}{2 x+e^2+5}dx-\frac {1}{2} \int \frac {e^{-x+e^{\frac {3 x}{2 x+e^2+5}}+9}}{2 x+e^2+5}dx+\frac {3}{2} \left (5+e^2\right ) \int \frac {e^{\frac {3 x}{2 x+e^2+5}-x+e^{\frac {3 x}{2 x+e^2+5}}+5}}{2 x+e^2+5}dx\)

input
Int[(E^(5 + E^((3*x)/(5 + E^2 + 2*x)) - x)*(25 + E^4*(1 - x) - 5*x - 16*x^ 
2 - 4*x^3 + E^((3*x)/(5 + E^2 + 2*x))*(15*x + 3*E^2*x) + E^2*(10 - 6*x - 4 
*x^2)))/(25 + E^4 + 20*x + 4*x^2 + E^2*(10 + 4*x)),x]
 
output
$Aborted
 

3.7.69.3.1 Defintions of rubi rules used

rule 2007
Int[(u_.)*(Px_)^(p_), x_Symbol] :> With[{a = Rt[Coeff[Px, x, 0], Expon[Px, 
x]], b = Rt[Coeff[Px, x, Expon[Px, x]], Expon[Px, x]]}, Int[u*(a + b*x)^(Ex 
pon[Px, x]*p), x] /; EqQ[Px, (a + b*x)^Expon[Px, x]]] /; IntegerQ[p] && Pol 
yQ[Px, x] && GtQ[Expon[Px, x], 1] && NeQ[Coeff[Px, x, 0], 0]
 

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

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

Time = 1.69 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.92

method result size
risch \(x \,{\mathrm e}^{{\mathrm e}^{\frac {3 x}{{\mathrm e}^{2}+5+2 x}}-x +5}\) \(22\)
parallelrisch \(x \,{\mathrm e}^{{\mathrm e}^{\frac {3 x}{{\mathrm e}^{2}+5+2 x}}-x +5}\) \(24\)
norman \(\frac {\left (\left ({\mathrm e}^{2}+5\right ) x +2 x^{2}\right ) {\mathrm e}^{{\mathrm e}^{\frac {3 x}{{\mathrm e}^{2}+5+2 x}}-x +5}}{{\mathrm e}^{2}+5+2 x}\) \(44\)

input
int(((3*exp(2)*x+15*x)*exp(3*x/(exp(2)+5+2*x))+(1-x)*exp(2)^2+(-4*x^2-6*x+ 
10)*exp(2)-4*x^3-16*x^2-5*x+25)/(exp(2)^2+(4*x+10)*exp(2)+4*x^2+20*x+25)/e 
xp(-exp(3*x/(exp(2)+5+2*x))+x-5),x,method=_RETURNVERBOSE)
 
output
x*exp(exp(3*x/(exp(2)+5+2*x))-x+5)
 
3.7.69.5 Fricas [A] (verification not implemented)

Time = 0.25 (sec) , antiderivative size = 21, normalized size of antiderivative = 0.88 \begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=x e^{\left (-x + e^{\left (\frac {3 \, x}{2 \, x + e^{2} + 5}\right )} + 5\right )} \end {dmath*}

input
integrate(((3*exp(2)*x+15*x)*exp(3*x/(exp(2)+5+2*x))+(1-x)*exp(2)^2+(-4*x^ 
2-6*x+10)*exp(2)-4*x^3-16*x^2-5*x+25)/(exp(2)^2+(4*x+10)*exp(2)+4*x^2+20*x 
+25)/exp(-exp(3*x/(exp(2)+5+2*x))+x-5),x, algorithm=\
 
output
x*e^(-x + e^(3*x/(2*x + e^2 + 5)) + 5)
 
3.7.69.6 Sympy [A] (verification not implemented)

Time = 16.52 (sec) , antiderivative size = 19, normalized size of antiderivative = 0.79 \begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=x e^{- x + e^{\frac {3 x}{2 x + 5 + e^{2}}} + 5} \end {dmath*}

input
integrate(((3*exp(2)*x+15*x)*exp(3*x/(exp(2)+5+2*x))+(1-x)*exp(2)**2+(-4*x 
**2-6*x+10)*exp(2)-4*x**3-16*x**2-5*x+25)/(exp(2)**2+(4*x+10)*exp(2)+4*x** 
2+20*x+25)/exp(-exp(3*x/(exp(2)+5+2*x))+x-5),x)
 
output
x*exp(-x + exp(3*x/(2*x + 5 + exp(2))) + 5)
 
3.7.69.7 Maxima [F]

\begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=\int { -\frac {{\left (4 \, x^{3} + 16 \, x^{2} + {\left (x - 1\right )} e^{4} + 2 \, {\left (2 \, x^{2} + 3 \, x - 5\right )} e^{2} - 3 \, {\left (x e^{2} + 5 \, x\right )} e^{\left (\frac {3 \, x}{2 \, x + e^{2} + 5}\right )} + 5 \, x - 25\right )} e^{\left (-x + e^{\left (\frac {3 \, x}{2 \, x + e^{2} + 5}\right )} + 5\right )}}{4 \, x^{2} + 2 \, {\left (2 \, x + 5\right )} e^{2} + 20 \, x + e^{4} + 25} \,d x } \end {dmath*}

input
integrate(((3*exp(2)*x+15*x)*exp(3*x/(exp(2)+5+2*x))+(1-x)*exp(2)^2+(-4*x^ 
2-6*x+10)*exp(2)-4*x^3-16*x^2-5*x+25)/(exp(2)^2+(4*x+10)*exp(2)+4*x^2+20*x 
+25)/exp(-exp(3*x/(exp(2)+5+2*x))+x-5),x, algorithm=\
 
output
-integrate((4*x^3 + 16*x^2 + (x - 1)*e^4 + 2*(2*x^2 + 3*x - 5)*e^2 - 3*(x* 
e^2 + 5*x)*e^(3*x/(2*x + e^2 + 5)) + 5*x - 25)*e^(-x + e^(3*x/(2*x + e^2 + 
 5)) + 5)/(4*x^2 + 2*(2*x + 5)*e^2 + 20*x + e^4 + 25), x)
 
3.7.69.8 Giac [F]

\begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=\int { -\frac {{\left (4 \, x^{3} + 16 \, x^{2} + {\left (x - 1\right )} e^{4} + 2 \, {\left (2 \, x^{2} + 3 \, x - 5\right )} e^{2} - 3 \, {\left (x e^{2} + 5 \, x\right )} e^{\left (\frac {3 \, x}{2 \, x + e^{2} + 5}\right )} + 5 \, x - 25\right )} e^{\left (-x + e^{\left (\frac {3 \, x}{2 \, x + e^{2} + 5}\right )} + 5\right )}}{4 \, x^{2} + 2 \, {\left (2 \, x + 5\right )} e^{2} + 20 \, x + e^{4} + 25} \,d x } \end {dmath*}

input
integrate(((3*exp(2)*x+15*x)*exp(3*x/(exp(2)+5+2*x))+(1-x)*exp(2)^2+(-4*x^ 
2-6*x+10)*exp(2)-4*x^3-16*x^2-5*x+25)/(exp(2)^2+(4*x+10)*exp(2)+4*x^2+20*x 
+25)/exp(-exp(3*x/(exp(2)+5+2*x))+x-5),x, algorithm=\
 
output
integrate(-(4*x^3 + 16*x^2 + (x - 1)*e^4 + 2*(2*x^2 + 3*x - 5)*e^2 - 3*(x* 
e^2 + 5*x)*e^(3*x/(2*x + e^2 + 5)) + 5*x - 25)*e^(-x + e^(3*x/(2*x + e^2 + 
 5)) + 5)/(4*x^2 + 2*(2*x + 5)*e^2 + 20*x + e^4 + 25), x)
 
3.7.69.9 Mupad [B] (verification not implemented)

Time = 14.83 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.92 \begin {dmath*} \int \frac {e^{5+e^{\frac {3 x}{5+e^2+2 x}}-x} \left (25+e^4 (1-x)-5 x-16 x^2-4 x^3+e^{\frac {3 x}{5+e^2+2 x}} \left (15 x+3 e^2 x\right )+e^2 \left (10-6 x-4 x^2\right )\right )}{25+e^4+20 x+4 x^2+e^2 (10+4 x)} \, dx=x\,{\mathrm {e}}^{-x}\,{\mathrm {e}}^5\,{\mathrm {e}}^{{\mathrm {e}}^{\frac {3\,x}{2\,x+{\mathrm {e}}^2+5}}} \end {dmath*}

input
int(-(exp(exp((3*x)/(2*x + exp(2) + 5)) - x + 5)*(5*x - exp((3*x)/(2*x + e 
xp(2) + 5))*(15*x + 3*x*exp(2)) + exp(2)*(6*x + 4*x^2 - 10) + exp(4)*(x - 
1) + 16*x^2 + 4*x^3 - 25))/(20*x + exp(4) + 4*x^2 + exp(2)*(4*x + 10) + 25 
),x)
 
output
x*exp(-x)*exp(5)*exp(exp((3*x)/(2*x + exp(2) + 5)))