3.80.48 \(\int e^{x^2-6 x^3+9 x^4+2 x^5-6 x^6+x^8+(2 x^3-6 x^4+2 x^6) \log (2)+x^4 \log ^2(2)} (2 x-18 x^2+36 x^3+10 x^4-36 x^5+8 x^7+(6 x^2-24 x^3+12 x^5) \log (2)+4 x^3 \log ^2(2)) \, dx\)

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

________________________________________________________________________________________

Rubi [B]  time = 1.55, antiderivative size = 56, normalized size of antiderivative = 3.29, number of steps used = 2, number of rules used = 2, integrand size = 114, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.018, Rules used = {6, 6706} \begin {gather*} 2^{2 x^6-6 x^4+2 x^3} \exp \left (x^8-6 x^6+2 x^5+9 x^4+x^4 \log ^2(2)-6 x^3+x^2\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Int[E^(x^2 - 6*x^3 + 9*x^4 + 2*x^5 - 6*x^6 + x^8 + (2*x^3 - 6*x^4 + 2*x^6)*Log[2] + x^4*Log[2]^2)*(2*x - 18*x^
2 + 36*x^3 + 10*x^4 - 36*x^5 + 8*x^7 + (6*x^2 - 24*x^3 + 12*x^5)*Log[2] + 4*x^3*Log[2]^2),x]

[Out]

2^(2*x^3 - 6*x^4 + 2*x^6)*E^(x^2 - 6*x^3 + 9*x^4 + 2*x^5 - 6*x^6 + x^8 + x^4*Log[2]^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 6706

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 {gather*} \begin {aligned} \text {integral} &=\int \exp \left (x^2-6 x^3+9 x^4+2 x^5-6 x^6+x^8+\left (2 x^3-6 x^4+2 x^6\right ) \log (2)+x^4 \log ^2(2)\right ) \left (2 x-18 x^2+10 x^4-36 x^5+8 x^7+\left (6 x^2-24 x^3+12 x^5\right ) \log (2)+x^3 \left (36+4 \log ^2(2)\right )\right ) \, dx\\ &=2^{2 x^3-6 x^4+2 x^6} \exp \left (x^2-6 x^3+9 x^4+2 x^5-6 x^6+x^8+x^4 \log ^2(2)\right )\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [F]  time = 1.42, size = 0, normalized size = 0.00 \begin {gather*} \int e^{x^2-6 x^3+9 x^4+2 x^5-6 x^6+x^8+\left (2 x^3-6 x^4+2 x^6\right ) \log (2)+x^4 \log ^2(2)} \left (2 x-18 x^2+36 x^3+10 x^4-36 x^5+8 x^7+\left (6 x^2-24 x^3+12 x^5\right ) \log (2)+4 x^3 \log ^2(2)\right ) \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[E^(x^2 - 6*x^3 + 9*x^4 + 2*x^5 - 6*x^6 + x^8 + (2*x^3 - 6*x^4 + 2*x^6)*Log[2] + x^4*Log[2]^2)*(2*x -
18*x^2 + 36*x^3 + 10*x^4 - 36*x^5 + 8*x^7 + (6*x^2 - 24*x^3 + 12*x^5)*Log[2] + 4*x^3*Log[2]^2),x]

[Out]

Integrate[E^(x^2 - 6*x^3 + 9*x^4 + 2*x^5 - 6*x^6 + x^8 + (2*x^3 - 6*x^4 + 2*x^6)*Log[2] + x^4*Log[2]^2)*(2*x -
18*x^2 + 36*x^3 + 10*x^4 - 36*x^5 + 8*x^7 + (6*x^2 - 24*x^3 + 12*x^5)*Log[2] + 4*x^3*Log[2]^2), x]

________________________________________________________________________________________

fricas [B]  time = 0.79, size = 52, normalized size = 3.06 \begin {gather*} e^{\left (x^{8} - 6 \, x^{6} + x^{4} \log \relax (2)^{2} + 2 \, x^{5} + 9 \, x^{4} - 6 \, x^{3} + x^{2} + 2 \, {\left (x^{6} - 3 \, x^{4} + x^{3}\right )} \log \relax (2)\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x^3*log(2)^2+(12*x^5-24*x^3+6*x^2)*log(2)+8*x^7-36*x^5+10*x^4+36*x^3-18*x^2+2*x)*exp(x^4*log(2)^2
+(2*x^6-6*x^4+2*x^3)*log(2)+x^8-6*x^6+2*x^5+9*x^4-6*x^3+x^2),x, algorithm="fricas")

[Out]

e^(x^8 - 6*x^6 + x^4*log(2)^2 + 2*x^5 + 9*x^4 - 6*x^3 + x^2 + 2*(x^6 - 3*x^4 + x^3)*log(2))

________________________________________________________________________________________

giac [B]  time = 0.21, size = 57, normalized size = 3.35 \begin {gather*} e^{\left (x^{8} + 2 \, x^{6} \log \relax (2) - 6 \, x^{6} + x^{4} \log \relax (2)^{2} + 2 \, x^{5} - 6 \, x^{4} \log \relax (2) + 9 \, x^{4} + 2 \, x^{3} \log \relax (2) - 6 \, x^{3} + x^{2}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x^3*log(2)^2+(12*x^5-24*x^3+6*x^2)*log(2)+8*x^7-36*x^5+10*x^4+36*x^3-18*x^2+2*x)*exp(x^4*log(2)^2
+(2*x^6-6*x^4+2*x^3)*log(2)+x^8-6*x^6+2*x^5+9*x^4-6*x^3+x^2),x, algorithm="giac")

[Out]

e^(x^8 + 2*x^6*log(2) - 6*x^6 + x^4*log(2)^2 + 2*x^5 - 6*x^4*log(2) + 9*x^4 + 2*x^3*log(2) - 6*x^3 + x^2)

________________________________________________________________________________________

maple [B]  time = 0.06, size = 52, normalized size = 3.06

method	result	size
risch	\(4^{x^{3} \left (x^{3}-3 x +1\right )} {\mathrm e}^{x^{2} \left (x^{6}+x^{2} \ln \relax (2)^{2}-6 x^{4}+2 x^{3}+9 x^{2}-6 x +1\right )}\)	\(52\)
derivativedivides	\({\mathrm e}^{x^{4} \ln \relax (2)^{2}+\left (2 x^{6}-6 x^{4}+2 x^{3}\right ) \ln \relax (2)+x^{8}-6 x^{6}+2 x^{5}+9 x^{4}-6 x^{3}+x^{2}}\)	\(56\)
default	\({\mathrm e}^{x^{4} \ln \relax (2)^{2}+\left (2 x^{6}-6 x^{4}+2 x^{3}\right ) \ln \relax (2)+x^{8}-6 x^{6}+2 x^{5}+9 x^{4}-6 x^{3}+x^{2}}\)	\(56\)
norman	\({\mathrm e}^{x^{4} \ln \relax (2)^{2}+\left (2 x^{6}-6 x^{4}+2 x^{3}\right ) \ln \relax (2)+x^{8}-6 x^{6}+2 x^{5}+9 x^{4}-6 x^{3}+x^{2}}\)	\(56\)
gosper	\({\mathrm e}^{x^{8}+2 x^{6} \ln \relax (2)+x^{4} \ln \relax (2)^{2}-6 x^{6}-6 x^{4} \ln \relax (2)+2 x^{5}+2 x^{3} \ln \relax (2)+9 x^{4}-6 x^{3}+x^{2}}\)	\(58\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((4*x^3*ln(2)^2+(12*x^5-24*x^3+6*x^2)*ln(2)+8*x^7-36*x^5+10*x^4+36*x^3-18*x^2+2*x)*exp(x^4*ln(2)^2+(2*x^6-6
*x^4+2*x^3)*ln(2)+x^8-6*x^6+2*x^5+9*x^4-6*x^3+x^2),x,method=_RETURNVERBOSE)

[Out]

4^(x^3*(x^3-3*x+1))*exp(x^2*(x^6+x^2*ln(2)^2-6*x^4+2*x^3+9*x^2-6*x+1))

________________________________________________________________________________________

maxima [B]  time = 0.61, size = 57, normalized size = 3.35 \begin {gather*} e^{\left (x^{8} + 2 \, x^{6} \log \relax (2) - 6 \, x^{6} + x^{4} \log \relax (2)^{2} + 2 \, x^{5} - 6 \, x^{4} \log \relax (2) + 9 \, x^{4} + 2 \, x^{3} \log \relax (2) - 6 \, x^{3} + x^{2}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x^3*log(2)^2+(12*x^5-24*x^3+6*x^2)*log(2)+8*x^7-36*x^5+10*x^4+36*x^3-18*x^2+2*x)*exp(x^4*log(2)^2
+(2*x^6-6*x^4+2*x^3)*log(2)+x^8-6*x^6+2*x^5+9*x^4-6*x^3+x^2),x, algorithm="maxima")

[Out]

e^(x^8 + 2*x^6*log(2) - 6*x^6 + x^4*log(2)^2 + 2*x^5 - 6*x^4*log(2) + 9*x^4 + 2*x^3*log(2) - 6*x^3 + x^2)

________________________________________________________________________________________

mupad [B]  time = 4.83, size = 65, normalized size = 3.82 \begin {gather*} \frac {2^{2\,x^3}\,2^{2\,x^6}\,{\mathrm {e}}^{x^2}\,{\mathrm {e}}^{x^8}\,{\mathrm {e}}^{x^4\,{\ln \relax (2)}^2}\,{\mathrm {e}}^{2\,x^5}\,{\mathrm {e}}^{-6\,x^3}\,{\mathrm {e}}^{-6\,x^6}\,{\mathrm {e}}^{9\,x^4}}{2^{6\,x^4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(exp(x^4*log(2)^2 + log(2)*(2*x^3 - 6*x^4 + 2*x^6) + x^2 - 6*x^3 + 9*x^4 + 2*x^5 - 6*x^6 + x^8)*(2*x + 4*x^
3*log(2)^2 + log(2)*(6*x^2 - 24*x^3 + 12*x^5) - 18*x^2 + 36*x^3 + 10*x^4 - 36*x^5 + 8*x^7),x)

[Out]

(2^(2*x^3)*2^(2*x^6)*exp(x^2)*exp(x^8)*exp(x^4*log(2)^2)*exp(2*x^5)*exp(-6*x^3)*exp(-6*x^6)*exp(9*x^4))/2^(6*x
^4)

________________________________________________________________________________________

sympy [B]  time = 0.25, size = 54, normalized size = 3.18 \begin {gather*} e^{x^{8} - 6 x^{6} + 2 x^{5} + x^{4} \log {\relax (2 )}^{2} + 9 x^{4} - 6 x^{3} + x^{2} + \left (2 x^{6} - 6 x^{4} + 2 x^{3}\right ) \log {\relax (2 )}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((4*x**3*ln(2)**2+(12*x**5-24*x**3+6*x**2)*ln(2)+8*x**7-36*x**5+10*x**4+36*x**3-18*x**2+2*x)*exp(x**4
*ln(2)**2+(2*x**6-6*x**4+2*x**3)*ln(2)+x**8-6*x**6+2*x**5+9*x**4-6*x**3+x**2),x)

[Out]

exp(x**8 - 6*x**6 + 2*x**5 + x**4*log(2)**2 + 9*x**4 - 6*x**3 + x**2 + (2*x**6 - 6*x**4 + 2*x**3)*log(2))

________________________________________________________________________________________