3.45.9 \(\int e^{-320-340 x-20 x^2+e^{1+x} (80 x+85 x^2+5 x^3)} (-340-40 x+e^{1+x} (80+250 x+100 x^2+5 x^3)) \, dx\)

Optimal. Leaf size=19 \[ e^{5 (1+x) (16+x) \left (-4+e^{1+x} x\right )} \]

________________________________________________________________________________________

Rubi [F]  time = 1.48, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \exp \left (-320-340 x-20 x^2+e^{1+x} \left (80 x+85 x^2+5 x^3\right )\right ) \left (-340-40 x+e^{1+x} \left (80+250 x+100 x^2+5 x^3\right )\right ) \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[E^(-320 - 340*x - 20*x^2 + E^(1 + x)*(80*x + 85*x^2 + 5*x^3))*(-340 - 40*x + E^(1 + x)*(80 + 250*x + 100*x
^2 + 5*x^3)),x]

[Out]

-340*Defer[Int][E^(5*(-4 + E^(1 + x)*x)*(16 + 17*x + x^2)), x] + 80*Defer[Int][E^(1 + x + 5*(-4 + E^(1 + x)*x)
*(16 + 17*x + x^2)), x] - 40*Defer[Int][E^(5*(-4 + E^(1 + x)*x)*(16 + 17*x + x^2))*x, x] + 250*Defer[Int][E^(1
+ x + 5*(-4 + E^(1 + x)*x)*(16 + 17*x + x^2))*x, x] + 100*Defer[Int][E^(1 + x + 5*(-4 + E^(1 + x)*x)*(16 + 17
*x + x^2))*x^2, x] + 5*Defer[Int][E^(1 + x + 5*(-4 + E^(1 + x)*x)*(16 + 17*x + x^2))*x^3, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \left (-340-40 x+e^{1+x} \left (80+250 x+100 x^2+5 x^3\right )\right ) \, dx\\ &=\int \left (-340 e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )}-40 e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x+5 e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \left (16+50 x+20 x^2+x^3\right )\right ) \, dx\\ &=5 \int e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \left (16+50 x+20 x^2+x^3\right ) \, dx-40 \int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x \, dx-340 \int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \, dx\\ &=5 \int \left (16 e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )}+50 e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x+20 e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x^2+e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x^3\right ) \, dx-40 \int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x \, dx-340 \int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \, dx\\ &=5 \int e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x^3 \, dx-40 \int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x \, dx+80 \int e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \, dx+100 \int e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x^2 \, dx+250 \int e^{1+x+5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} x \, dx-340 \int e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.61, size = 21, normalized size = 1.11 \begin {gather*} e^{5 \left (-4+e^{1+x} x\right ) \left (16+17 x+x^2\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[E^(-320 - 340*x - 20*x^2 + E^(1 + x)*(80*x + 85*x^2 + 5*x^3))*(-340 - 40*x + E^(1 + x)*(80 + 250*x +
100*x^2 + 5*x^3)),x]

[Out]

E^(5*(-4 + E^(1 + x)*x)*(16 + 17*x + x^2))

________________________________________________________________________________________

fricas [A]  time = 0.59, size = 29, normalized size = 1.53 \begin {gather*} e^{\left (-20 \, x^{2} + 5 \, {\left (x^{3} + 17 \, x^{2} + 16 \, x\right )} e^{\left (x + 1\right )} - 340 \, x - 320\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*x^3+100*x^2+250*x+80)*exp(x+1)-40*x-340)*exp((5*x^3+85*x^2+80*x)*exp(x+1)-20*x^2-340*x-320),x, a
lgorithm="fricas")

[Out]

e^(-20*x^2 + 5*(x^3 + 17*x^2 + 16*x)*e^(x + 1) - 340*x - 320)

________________________________________________________________________________________

giac [B]  time = 0.17, size = 36, normalized size = 1.89 \begin {gather*} e^{\left (5 \, x^{3} e^{\left (x + 1\right )} + 85 \, x^{2} e^{\left (x + 1\right )} - 20 \, x^{2} + 80 \, x e^{\left (x + 1\right )} - 340 \, x - 320\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*x^3+100*x^2+250*x+80)*exp(x+1)-40*x-340)*exp((5*x^3+85*x^2+80*x)*exp(x+1)-20*x^2-340*x-320),x, a
lgorithm="giac")

[Out]

e^(5*x^3*e^(x + 1) + 85*x^2*e^(x + 1) - 20*x^2 + 80*x*e^(x + 1) - 340*x - 320)

________________________________________________________________________________________

maple [A]  time = 0.08, size = 18, normalized size = 0.95

method	result	size
risch	\({\mathrm e}^{5 \left (x \,{\mathrm e}^{x +1}-4\right ) \left (x +1\right ) \left (x +16\right )}\)	\(18\)
norman	\({\mathrm e}^{\left (5 x^{3}+85 x^{2}+80 x \right ) {\mathrm e}^{x +1}-20 x^{2}-340 x -320}\)	\(31\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((5*x^3+100*x^2+250*x+80)*exp(x+1)-40*x-340)*exp((5*x^3+85*x^2+80*x)*exp(x+1)-20*x^2-340*x-320),x,method=_
RETURNVERBOSE)

[Out]

exp(5*(x*exp(x+1)-4)*(x+1)*(x+16))

________________________________________________________________________________________

maxima [B]  time = 0.48, size = 36, normalized size = 1.89 \begin {gather*} e^{\left (5 \, x^{3} e^{\left (x + 1\right )} + 85 \, x^{2} e^{\left (x + 1\right )} - 20 \, x^{2} + 80 \, x e^{\left (x + 1\right )} - 340 \, x - 320\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*x^3+100*x^2+250*x+80)*exp(x+1)-40*x-340)*exp((5*x^3+85*x^2+80*x)*exp(x+1)-20*x^2-340*x-320),x, a
lgorithm="maxima")

[Out]

e^(5*x^3*e^(x + 1) + 85*x^2*e^(x + 1) - 20*x^2 + 80*x*e^(x + 1) - 340*x - 320)

________________________________________________________________________________________

mupad [B]  time = 3.27, size = 41, normalized size = 2.16 \begin {gather*} {\mathrm {e}}^{-340\,x}\,{\mathrm {e}}^{-320}\,{\mathrm {e}}^{80\,x\,\mathrm {e}\,{\mathrm {e}}^x}\,{\mathrm {e}}^{-20\,x^2}\,{\mathrm {e}}^{5\,x^3\,\mathrm {e}\,{\mathrm {e}}^x}\,{\mathrm {e}}^{85\,x^2\,\mathrm {e}\,{\mathrm {e}}^x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-exp(exp(x + 1)*(80*x + 85*x^2 + 5*x^3) - 340*x - 20*x^2 - 320)*(40*x - exp(x + 1)*(250*x + 100*x^2 + 5*x^
3 + 80) + 340),x)

[Out]

exp(-340*x)*exp(-320)*exp(80*x*exp(1)*exp(x))*exp(-20*x^2)*exp(5*x^3*exp(1)*exp(x))*exp(85*x^2*exp(1)*exp(x))

________________________________________________________________________________________

sympy [A]  time = 0.25, size = 29, normalized size = 1.53 \begin {gather*} e^{- 20 x^{2} - 340 x + \left (5 x^{3} + 85 x^{2} + 80 x\right ) e^{x + 1} - 320} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(((5*x**3+100*x**2+250*x+80)*exp(x+1)-40*x-340)*exp((5*x**3+85*x**2+80*x)*exp(x+1)-20*x**2-340*x-320)
,x)

[Out]

exp(-20*x**2 - 340*x + (5*x**3 + 85*x**2 + 80*x)*exp(x + 1) - 320)

________________________________________________________________________________________