\(\int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} (8 x^2-10 e^x x^2-2 x^3)+e^x (-40 x^2+10 x^3)} (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} (50 x+50 x^2)+e^x (-80 x-10 x^2+10 x^3)+e^{\log ^4(2)} (16 x-6 x^2+e^x (-20 x-10 x^2))) \, dx\) [7654]

Optimal result

Integrand size = 167, antiderivative size = 24 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{\left (4-5 e^x+e^{\log ^4(2)}-x\right )^2 x^2} \]

[Out]

exp(x^2*(exp(ln(2)^4)-x-5*exp(x)+4)^2)

Rubi [A] (verified)

Time = 7.20 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.024, Rules used = {6, 6820, 12, 6838} \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{x^2 \left (-x-5 e^x+4+e^{\log ^4(2)}\right )^2} \]

[In]

Int[E^(16*x^2 + 25*E^(2*x)*x^2 + E^(2*Log[2]^4)*x^2 - 8*x^3 + x^4 + E^Log[2]^4*(8*x^2 - 10*E^x*x^2 - 2*x^3) +
E^x*(-40*x^2 + 10*x^3))*(32*x + 2*E^(2*Log[2]^4)*x - 24*x^2 + 4*x^3 + E^(2*x)*(50*x + 50*x^2) + E^x*(-80*x - 1
0*x^2 + 10*x^3) + E^Log[2]^4*(16*x - 6*x^2 + E^x*(-20*x - 10*x^2))),x]

[Out]

E^((4 - 5*E^x + E^Log[2]^4 - x)^2*x^2)

Rule 6

Int[(u_.)*((w_.) + (a_.)*(v_) + (b_.)*(v_))^(p_.), x_Symbol] :> Int[u*((a + b)*v + w)^p, x] /; FreeQ[{a, b}, x
] &&  !FreeQ[v, x]

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 6820

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6838

Int[(F_)^(v_)*(u_), x_Symbol] :> With[{q = DerivativeDivides[v, u, x]}, Simp[q*(F^v/Log[F]), x] /;  !FalseQ[q]
] /; FreeQ[F, x]

Rubi steps \begin{align*} \text {integral}& = \int \exp \left (16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )\right ) \left (\left (32+2 e^{2 \log ^4(2)}\right ) x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx \\ & = \int 2 \exp \left (\left (-5 e^x+4 \left (1+\frac {1}{4} e^{\log ^4(2)}\right )-x\right )^2 x^2\right ) x \left (16 \left (1+\frac {1}{16} e^{2 \log ^4(2)}\right )-12 x+2 x^2+25 e^{2 x} (1+x)+5 e^x \left (-8-x+x^2\right )+e^{\log ^4(2)} \left (8-3 x-5 e^x (2+x)\right )\right ) \, dx \\ & = 2 \int \exp \left (\left (-5 e^x+4 \left (1+\frac {1}{4} e^{\log ^4(2)}\right )-x\right )^2 x^2\right ) x \left (16 \left (1+\frac {1}{16} e^{2 \log ^4(2)}\right )-12 x+2 x^2+25 e^{2 x} (1+x)+5 e^x \left (-8-x+x^2\right )+e^{\log ^4(2)} \left (8-3 x-5 e^x (2+x)\right )\right ) \, dx \\ & = e^{\left (4-5 e^x+e^{\log ^4(2)}-x\right )^2 x^2} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.18 (sec) , antiderivative size = 24, normalized size of antiderivative = 1.00 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{\left (4-5 e^x+e^{\log ^4(2)}-x\right )^2 x^2} \]

[In]

Integrate[E^(16*x^2 + 25*E^(2*x)*x^2 + E^(2*Log[2]^4)*x^2 - 8*x^3 + x^4 + E^Log[2]^4*(8*x^2 - 10*E^x*x^2 - 2*x
^3) + E^x*(-40*x^2 + 10*x^3))*(32*x + 2*E^(2*Log[2]^4)*x - 24*x^2 + 4*x^3 + E^(2*x)*(50*x + 50*x^2) + E^x*(-80
*x - 10*x^2 + 10*x^3) + E^Log[2]^4*(16*x - 6*x^2 + E^x*(-20*x - 10*x^2))),x]

[Out]

E^((4 - 5*E^x + E^Log[2]^4 - x)^2*x^2)

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(59\) vs. \(2(21)=42\).

Time = 0.86 (sec) , antiderivative size = 60, normalized size of antiderivative = 2.50

method	result	size
risch	\({\mathrm e}^{x^{2} \left (-10 \,{\mathrm e}^{x +\ln \left (2\right )^{4}}+10 \,{\mathrm e}^{x} x -2 \,{\mathrm e}^{\ln \left (2\right )^{4}} x +x^{2}+{\mathrm e}^{2 \ln \left (2\right )^{4}}-40 \,{\mathrm e}^{x}+25 \,{\mathrm e}^{2 x}+8 \,{\mathrm e}^{\ln \left (2\right )^{4}}-8 x +16\right )}\)	\(60\)
norman	\({\mathrm e}^{x^{2} {\mathrm e}^{2 \ln \left (2\right )^{4}}+\left (-10 \,{\mathrm e}^{x} x^{2}-2 x^{3}+8 x^{2}\right ) {\mathrm e}^{\ln \left (2\right )^{4}}+25 \,{\mathrm e}^{2 x} x^{2}+\left (10 x^{3}-40 x^{2}\right ) {\mathrm e}^{x}+x^{4}-8 x^{3}+16 x^{2}}\)	\(74\)
parallelrisch	\({\mathrm e}^{x^{2} {\mathrm e}^{2 \ln \left (2\right )^{4}}+\left (-10 \,{\mathrm e}^{x} x^{2}-2 x^{3}+8 x^{2}\right ) {\mathrm e}^{\ln \left (2\right )^{4}}+25 \,{\mathrm e}^{2 x} x^{2}+\left (10 x^{3}-40 x^{2}\right ) {\mathrm e}^{x}+x^{4}-8 x^{3}+16 x^{2}}\)	\(74\)

[In]

int((2*x*exp(ln(2)^4)^2+((-10*x^2-20*x)*exp(x)-6*x^2+16*x)*exp(ln(2)^4)+(50*x^2+50*x)*exp(x)^2+(10*x^3-10*x^2-
80*x)*exp(x)+4*x^3-24*x^2+32*x)*exp(x^2*exp(ln(2)^4)^2+(-10*exp(x)*x^2-2*x^3+8*x^2)*exp(ln(2)^4)+25*exp(x)^2*x
^2+(10*x^3-40*x^2)*exp(x)+x^4-8*x^3+16*x^2),x,method=_RETURNVERBOSE)

[Out]

exp(x^2*(-10*exp(x+ln(2)^4)+10*exp(x)*x-2*exp(ln(2)^4)*x+x^2+exp(2*ln(2)^4)-40*exp(x)+25*exp(2*x)+8*exp(ln(2)^
4)-8*x+16))

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 71 vs. \(2 (21) = 42\).

Time = 0.29 (sec) , antiderivative size = 71, normalized size of antiderivative = 2.96 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{\left (x^{4} - 8 \, x^{3} + x^{2} e^{\left (2 \, \log \left (2\right )^{4}\right )} + 25 \, x^{2} e^{\left (2 \, x\right )} + 16 \, x^{2} - 2 \, {\left (x^{3} + 5 \, x^{2} e^{x} - 4 \, x^{2}\right )} e^{\left (\log \left (2\right )^{4}\right )} + 10 \, {\left (x^{3} - 4 \, x^{2}\right )} e^{x}\right )} \]

[In]

integrate((2*x*exp(log(2)^4)^2+((-10*x^2-20*x)*exp(x)-6*x^2+16*x)*exp(log(2)^4)+(50*x^2+50*x)*exp(x)^2+(10*x^3
-10*x^2-80*x)*exp(x)+4*x^3-24*x^2+32*x)*exp(x^2*exp(log(2)^4)^2+(-10*exp(x)*x^2-2*x^3+8*x^2)*exp(log(2)^4)+25*
exp(x)^2*x^2+(10*x^3-40*x^2)*exp(x)+x^4-8*x^3+16*x^2),x, algorithm="fricas")

[Out]

e^(x^4 - 8*x^3 + x^2*e^(2*log(2)^4) + 25*x^2*e^(2*x) + 16*x^2 - 2*(x^3 + 5*x^2*e^x - 4*x^2)*e^(log(2)^4) + 10*
(x^3 - 4*x^2)*e^x)

Sympy [B] (verification not implemented)

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

Time = 0.25 (sec) , antiderivative size = 75, normalized size of antiderivative = 3.12 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{x^{4} - 8 x^{3} + 25 x^{2} e^{2 x} + x^{2} e^{2 \log {\left (2 \right )}^{4}} + 16 x^{2} + \left (10 x^{3} - 40 x^{2}\right ) e^{x} + \left (- 2 x^{3} - 10 x^{2} e^{x} + 8 x^{2}\right ) e^{\log {\left (2 \right )}^{4}}} \]

[In]

integrate((2*x*exp(ln(2)**4)**2+((-10*x**2-20*x)*exp(x)-6*x**2+16*x)*exp(ln(2)**4)+(50*x**2+50*x)*exp(x)**2+(1
0*x**3-10*x**2-80*x)*exp(x)+4*x**3-24*x**2+32*x)*exp(x**2*exp(ln(2)**4)**2+(-10*exp(x)*x**2-2*x**3+8*x**2)*exp
(ln(2)**4)+25*exp(x)**2*x**2+(10*x**3-40*x**2)*exp(x)+x**4-8*x**3+16*x**2),x)

[Out]

exp(x**4 - 8*x**3 + 25*x**2*exp(2*x) + x**2*exp(2*log(2)**4) + 16*x**2 + (10*x**3 - 40*x**2)*exp(x) + (-2*x**3
- 10*x**2*exp(x) + 8*x**2)*exp(log(2)**4))

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 81 vs. \(2 (21) = 42\).

Time = 0.48 (sec) , antiderivative size = 81, normalized size of antiderivative = 3.38 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{\left (x^{4} - 2 \, x^{3} e^{\left (\log \left (2\right )^{4}\right )} + 10 \, x^{3} e^{x} - 8 \, x^{3} + x^{2} e^{\left (2 \, \log \left (2\right )^{4}\right )} - 10 \, x^{2} e^{\left (\log \left (2\right )^{4} + x\right )} + 8 \, x^{2} e^{\left (\log \left (2\right )^{4}\right )} + 25 \, x^{2} e^{\left (2 \, x\right )} - 40 \, x^{2} e^{x} + 16 \, x^{2}\right )} \]

[In]

integrate((2*x*exp(log(2)^4)^2+((-10*x^2-20*x)*exp(x)-6*x^2+16*x)*exp(log(2)^4)+(50*x^2+50*x)*exp(x)^2+(10*x^3
-10*x^2-80*x)*exp(x)+4*x^3-24*x^2+32*x)*exp(x^2*exp(log(2)^4)^2+(-10*exp(x)*x^2-2*x^3+8*x^2)*exp(log(2)^4)+25*
exp(x)^2*x^2+(10*x^3-40*x^2)*exp(x)+x^4-8*x^3+16*x^2),x, algorithm="maxima")

[Out]

e^(x^4 - 2*x^3*e^(log(2)^4) + 10*x^3*e^x - 8*x^3 + x^2*e^(2*log(2)^4) - 10*x^2*e^(log(2)^4 + x) + 8*x^2*e^(log
(2)^4) + 25*x^2*e^(2*x) - 40*x^2*e^x + 16*x^2)

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 81 vs. \(2 (21) = 42\).

Time = 0.63 (sec) , antiderivative size = 81, normalized size of antiderivative = 3.38 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx=e^{\left (x^{4} - 2 \, x^{3} e^{\left (\log \left (2\right )^{4}\right )} + 10 \, x^{3} e^{x} - 8 \, x^{3} + x^{2} e^{\left (2 \, \log \left (2\right )^{4}\right )} - 10 \, x^{2} e^{\left (\log \left (2\right )^{4} + x\right )} + 8 \, x^{2} e^{\left (\log \left (2\right )^{4}\right )} + 25 \, x^{2} e^{\left (2 \, x\right )} - 40 \, x^{2} e^{x} + 16 \, x^{2}\right )} \]

[In]

integrate((2*x*exp(log(2)^4)^2+((-10*x^2-20*x)*exp(x)-6*x^2+16*x)*exp(log(2)^4)+(50*x^2+50*x)*exp(x)^2+(10*x^3
-10*x^2-80*x)*exp(x)+4*x^3-24*x^2+32*x)*exp(x^2*exp(log(2)^4)^2+(-10*exp(x)*x^2-2*x^3+8*x^2)*exp(log(2)^4)+25*
exp(x)^2*x^2+(10*x^3-40*x^2)*exp(x)+x^4-8*x^3+16*x^2),x, algorithm="giac")

[Out]

e^(x^4 - 2*x^3*e^(log(2)^4) + 10*x^3*e^x - 8*x^3 + x^2*e^(2*log(2)^4) - 10*x^2*e^(log(2)^4 + x) + 8*x^2*e^(log
(2)^4) + 25*x^2*e^(2*x) - 40*x^2*e^x + 16*x^2)

Mupad [B] (verification not implemented)

Time = 14.40 (sec) , antiderivative size = 90, normalized size of antiderivative = 3.75 \[ \int e^{16 x^2+25 e^{2 x} x^2+e^{2 \log ^4(2)} x^2-8 x^3+x^4+e^{\log ^4(2)} \left (8 x^2-10 e^x x^2-2 x^3\right )+e^x \left (-40 x^2+10 x^3\right )} \left (32 x+2 e^{2 \log ^4(2)} x-24 x^2+4 x^3+e^{2 x} \left (50 x+50 x^2\right )+e^x \left (-80 x-10 x^2+10 x^3\right )+e^{\log ^4(2)} \left (16 x-6 x^2+e^x \left (-20 x-10 x^2\right )\right )\right ) \, dx={\mathrm {e}}^{x^2\,{\mathrm {e}}^{2\,{\ln \left (2\right )}^4}}\,{\mathrm {e}}^{x^4}\,{\mathrm {e}}^{10\,x^3\,{\mathrm {e}}^x}\,{\mathrm {e}}^{-40\,x^2\,{\mathrm {e}}^x}\,{\mathrm {e}}^{-8\,x^3}\,{\mathrm {e}}^{16\,x^2}\,{\mathrm {e}}^{-10\,x^2\,{\mathrm {e}}^{{\ln \left (2\right )}^4}\,{\mathrm {e}}^x}\,{\mathrm {e}}^{-2\,x^3\,{\mathrm {e}}^{{\ln \left (2\right )}^4}}\,{\mathrm {e}}^{8\,x^2\,{\mathrm {e}}^{{\ln \left (2\right )}^4}}\,{\mathrm {e}}^{25\,x^2\,{\mathrm {e}}^{2\,x}} \]

[In]

int(exp(25*x^2*exp(2*x) - exp(log(2)^4)*(10*x^2*exp(x) - 8*x^2 + 2*x^3) - exp(x)*(40*x^2 - 10*x^3) + x^2*exp(2
*log(2)^4) + 16*x^2 - 8*x^3 + x^4)*(32*x + exp(2*x)*(50*x + 50*x^2) + 2*x*exp(2*log(2)^4) - exp(log(2)^4)*(exp
(x)*(20*x + 10*x^2) - 16*x + 6*x^2) - 24*x^2 + 4*x^3 - exp(x)*(80*x + 10*x^2 - 10*x^3)),x)

[Out]

exp(x^2*exp(2*log(2)^4))*exp(x^4)*exp(10*x^3*exp(x))*exp(-40*x^2*exp(x))*exp(-8*x^3)*exp(16*x^2)*exp(-10*x^2*e
xp(log(2)^4)*exp(x))*exp(-2*x^3*exp(log(2)^4))*exp(8*x^2*exp(log(2)^4))*exp(25*x^2*exp(2*x))