3.31.19 \(\int e^{-2 e^4+e^{-2 e^4} (-3 e^{3+2 e^4}-3 x+3 x^2)} (-3+6 x) \, dx\)

Optimal. Leaf size=24 \[ 2+e^{3 \left (-e^3+e^{-2 e^4} (-1+x) x\right )} \]

________________________________________________________________________________________

Rubi [A]  time = 0.14, antiderivative size = 30, normalized size of antiderivative = 1.25, number of steps used = 2, number of rules used = 2, integrand size = 42, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.048, Rules used = {2244, 2236} \begin {gather*} e^{3 e^{-2 e^4} x^2-3 e^{-2 e^4} x-3 e^3} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[E^(-2*E^4 + (-3*E^(3 + 2*E^4) - 3*x + 3*x^2)/E^(2*E^4))*(-3 + 6*x),x]

[Out]

E^(-3*E^3 - (3*x)/E^(2*E^4) + (3*x^2)/E^(2*E^4))

Rule 2236

Int[(F_)^((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)*((d_.) + (e_.)*(x_)), x_Symbol] :> Simp[(e*F^(a + b*x + c*x^2))/(
2*c*Log[F]), x] /; FreeQ[{F, a, b, c, d, e}, x] && EqQ[b*e - 2*c*d, 0]

Rule 2244

Int[(F_)^(v_)*(u_)^(m_.), x_Symbol] :> Int[ExpandToSum[u, x]^m*F^ExpandToSum[v, x], x] /; FreeQ[{F, m}, x] &&
LinearQ[u, x] && QuadraticQ[v, x] &&  !(LinearMatchQ[u, x] && QuadraticMatchQ[v, x])

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \exp \left (-e^3 (3+2 e)-3 e^{-2 e^4} x+3 e^{-2 e^4} x^2\right ) (-3+6 x) \, dx\\ &=\exp \left (-3 e^3-3 e^{-2 e^4} x+3 e^{-2 e^4} x^2\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [A]  time = 0.14, size = 27, normalized size = 1.12 \begin {gather*} e^{-3 e^{-2 e^4} \left (e^{3+2 e^4}+x-x^2\right )} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[E^(-2*E^4 + (-3*E^(3 + 2*E^4) - 3*x + 3*x^2)/E^(2*E^4))*(-3 + 6*x),x]

[Out]

E^((-3*(E^(3 + 2*E^4) + x - x^2))/E^(2*E^4))

________________________________________________________________________________________

fricas [A]  time = 2.43, size = 37, normalized size = 1.54 \begin {gather*} e^{\left ({\left (3 \, x^{2} - {\left (2 \, e^{4} + 3 \, e^{3}\right )} e^{\left (2 \, e^{4}\right )} - 3 \, x\right )} e^{\left (-2 \, e^{4}\right )} + 2 \, e^{4}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6*x-3)*exp((-3*exp(3)*exp(exp(4))^2+3*x^2-3*x)/exp(exp(4))^2)/exp(exp(4))^2,x, algorithm="fricas")

[Out]

e^((3*x^2 - (2*e^4 + 3*e^3)*e^(2*e^4) - 3*x)*e^(-2*e^4) + 2*e^4)

________________________________________________________________________________________

giac [A]  time = 0.22, size = 24, normalized size = 1.00 \begin {gather*} e^{\left (3 \, x^{2} e^{\left (-2 \, e^{4}\right )} - 3 \, x e^{\left (-2 \, e^{4}\right )} - 3 \, e^{3}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6*x-3)*exp((-3*exp(3)*exp(exp(4))^2+3*x^2-3*x)/exp(exp(4))^2)/exp(exp(4))^2,x, algorithm="giac")

[Out]

e^(3*x^2*e^(-2*e^4) - 3*x*e^(-2*e^4) - 3*e^3)

________________________________________________________________________________________

maple [A]  time = 0.07, size = 24, normalized size = 1.00

method	result	size
gosper	\({\mathrm e}^{-3 \left ({\mathrm e}^{3} {\mathrm e}^{2 \,{\mathrm e}^{4}}-x^{2}+x \right ) {\mathrm e}^{-2 \,{\mathrm e}^{4}}}\)	\(24\)
risch	\({\mathrm e}^{3 \left (x^{2}-{\mathrm e}^{3+2 \,{\mathrm e}^{4}}-x \right ) {\mathrm e}^{-2 \,{\mathrm e}^{4}}}\)	\(25\)
derivativedivides	\({\mathrm e}^{\left (-3 \,{\mathrm e}^{3} {\mathrm e}^{2 \,{\mathrm e}^{4}}+3 x^{2}-3 x \right ) {\mathrm e}^{-2 \,{\mathrm e}^{4}}}\)	\(26\)
norman	\({\mathrm e}^{\left (-3 \,{\mathrm e}^{3} {\mathrm e}^{2 \,{\mathrm e}^{4}}+3 x^{2}-3 x \right ) {\mathrm e}^{-2 \,{\mathrm e}^{4}}}\)	\(26\)
default	\({\mathrm e}^{-2 \,{\mathrm e}^{4}} {\mathrm e}^{2 \,{\mathrm e}^{4}} {\mathrm e}^{3 \,{\mathrm e}^{-2 \,{\mathrm e}^{4}} x^{2}-3 \,{\mathrm e}^{-2 \,{\mathrm e}^{4}} x -3 \,{\mathrm e}^{3}}\)	\(38\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((6*x-3)*exp((-3*exp(3)*exp(exp(4))^2+3*x^2-3*x)/exp(exp(4))^2)/exp(exp(4))^2,x,method=_RETURNVERBOSE)

[Out]

exp(-3*(exp(3)*exp(exp(4))^2-x^2+x)/exp(exp(4))^2)

________________________________________________________________________________________

maxima [A]  time = 0.36, size = 24, normalized size = 1.00 \begin {gather*} e^{\left (3 \, {\left (x^{2} - x - e^{\left (2 \, e^{4} + 3\right )}\right )} e^{\left (-2 \, e^{4}\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6*x-3)*exp((-3*exp(3)*exp(exp(4))^2+3*x^2-3*x)/exp(exp(4))^2)/exp(exp(4))^2,x, algorithm="maxima")

[Out]

e^(3*(x^2 - x - e^(2*e^4 + 3))*e^(-2*e^4))

________________________________________________________________________________________

mupad [B]  time = 0.26, size = 26, normalized size = 1.08 \begin {gather*} {\mathrm {e}}^{-3\,{\mathrm {e}}^3}\,{\mathrm {e}}^{-3\,x\,{\mathrm {e}}^{-2\,{\mathrm {e}}^4}}\,{\mathrm {e}}^{3\,x^2\,{\mathrm {e}}^{-2\,{\mathrm {e}}^4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(-2*exp(4))*exp(-exp(-2*exp(4))*(3*x - 3*x^2 + 3*exp(2*exp(4))*exp(3)))*(6*x - 3),x)

[Out]

exp(-3*exp(3))*exp(-3*x*exp(-2*exp(4)))*exp(3*x^2*exp(-2*exp(4)))

________________________________________________________________________________________

sympy [A]  time = 0.12, size = 27, normalized size = 1.12 \begin {gather*} e^{\frac {3 x^{2} - 3 x - 3 e^{3} e^{2 e^{4}}}{e^{2 e^{4}}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((6*x-3)*exp((-3*exp(3)*exp(exp(4))**2+3*x**2-3*x)/exp(exp(4))**2)/exp(exp(4))**2,x)

[Out]

exp((3*x**2 - 3*x - 3*exp(3)*exp(2*exp(4)))*exp(-2*exp(4)))

________________________________________________________________________________________