3.82.87 \(\int \frac {e^{-e^{4 x^2+4 x \log (-x+\log (3))}-x} (-x+x^2+(1-x) \log (3)+e^{4 x^2+4 x \log (-x+\log (3))} (4 x^2+8 x^3-8 x^2 \log (3)+(4 x^2-4 x \log (3)) \log (-x+\log (3))))}{-x+\log (3)} \, dx\)

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

________________________________________________________________________________________

Rubi [F]  time = 7.11, 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 \frac {e^{-e^{4 x^2+4 x \log (-x+\log (3))}-x} \left (-x+x^2+(1-x) \log (3)+e^{4 x^2+4 x \log (-x+\log (3))} \left (4 x^2+8 x^3-8 x^2 \log (3)+\left (4 x^2-4 x \log (3)\right ) \log (-x+\log (3))\right )\right )}{-x+\log (3)} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

Defer[Int][E^(-E^(4*x^2 + 4*x*Log[-x + Log[3]]) - x), x] - Defer[Int][E^(-E^(4*x^2 + 4*x*Log[-x + Log[3]]) - x
)*x, x] + 4*(1 - Log[9])*Defer[Int][E^(-E^(4*x^2 + 4*x*Log[-x + Log[3]]) - x + 4*x^2)*x^2*(-x + Log[3])^(-1 +
4*x), x] + 8*Defer[Int][E^(-E^(4*x^2 + 4*x*Log[-x + Log[3]]) - x + 4*x^2)*x^3*(-x + Log[3])^(-1 + 4*x), x] - 4
*Defer[Int][E^(-E^(4*x^2 + 4*x*Log[-x + Log[3]]) - x + 4*x^2)*x*(-x + Log[3])^(4*x)*Log[-x + Log[3]], x]

Rubi steps

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

________________________________________________________________________________________

Mathematica [F]  time = 3.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {e^{-e^{4 x^2+4 x \log (-x+\log (3))}-x} \left (-x+x^2+(1-x) \log (3)+e^{4 x^2+4 x \log (-x+\log (3))} \left (4 x^2+8 x^3-8 x^2 \log (3)+\left (4 x^2-4 x \log (3)\right ) \log (-x+\log (3))\right )\right )}{-x+\log (3)} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [A]  time = 0.64, size = 26, normalized size = 1.08 \begin {gather*} x e^{\left (-x - e^{\left (4 \, x^{2} + 4 \, x \log \left (-x + \log \relax (3)\right )\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x*log(3)+4*x^2)*log(log(3)-x)-8*x^2*log(3)+8*x^3+4*x^2)*exp(4*x*log(log(3)-x)+4*x^2)+(-x+1)*lo
g(3)+x^2-x)/(log(3)-x)/exp(exp(4*x*log(log(3)-x)+4*x^2)+x),x, algorithm="fricas")

[Out]

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

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int -\frac {{\left (x^{2} + 4 \, {\left (2 \, x^{3} - 2 \, x^{2} \log \relax (3) + x^{2} + {\left (x^{2} - x \log \relax (3)\right )} \log \left (-x + \log \relax (3)\right )\right )} e^{\left (4 \, x^{2} + 4 \, x \log \left (-x + \log \relax (3)\right )\right )} - {\left (x - 1\right )} \log \relax (3) - x\right )} e^{\left (-x - e^{\left (4 \, x^{2} + 4 \, x \log \left (-x + \log \relax (3)\right )\right )}\right )}}{x - \log \relax (3)}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x*log(3)+4*x^2)*log(log(3)-x)-8*x^2*log(3)+8*x^3+4*x^2)*exp(4*x*log(log(3)-x)+4*x^2)+(-x+1)*lo
g(3)+x^2-x)/(log(3)-x)/exp(exp(4*x*log(log(3)-x)+4*x^2)+x),x, algorithm="giac")

[Out]

integrate(-(x^2 + 4*(2*x^3 - 2*x^2*log(3) + x^2 + (x^2 - x*log(3))*log(-x + log(3)))*e^(4*x^2 + 4*x*log(-x + l
og(3))) - (x - 1)*log(3) - x)*e^(-x - e^(4*x^2 + 4*x*log(-x + log(3))))/(x - log(3)), x)

________________________________________________________________________________________

maple [A]  time = 0.35, size = 26, normalized size = 1.08

method	result	size
risch	\(x \,{\mathrm e}^{-\left (\ln \relax (3)-x \right )^{4 x} {\mathrm e}^{4 x^{2}}-x}\)	\(26\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((-4*x*ln(3)+4*x^2)*ln(ln(3)-x)-8*x^2*ln(3)+8*x^3+4*x^2)*exp(4*x*ln(ln(3)-x)+4*x^2)+(1-x)*ln(3)+x^2-x)/(l
n(3)-x)/exp(exp(4*x*ln(ln(3)-x)+4*x^2)+x),x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

maxima [A]  time = 0.59, size = 26, normalized size = 1.08 \begin {gather*} x e^{\left (-x - e^{\left (4 \, x^{2} + 4 \, x \log \left (-x + \log \relax (3)\right )\right )}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x*log(3)+4*x^2)*log(log(3)-x)-8*x^2*log(3)+8*x^3+4*x^2)*exp(4*x*log(log(3)-x)+4*x^2)+(-x+1)*lo
g(3)+x^2-x)/(log(3)-x)/exp(exp(4*x*log(log(3)-x)+4*x^2)+x),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 5.88, size = 25, normalized size = 1.04 \begin {gather*} x\,{\mathrm {e}}^{-{\mathrm {e}}^{4\,x^2}\,{\left (\ln \relax (3)-x\right )}^{4\,x}}\,{\mathrm {e}}^{-x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((exp(- x - exp(4*x^2 + 4*x*log(log(3) - x)))*(x + log(3)*(x - 1) - x^2 + exp(4*x^2 + 4*x*log(log(3) - x))*
(log(log(3) - x)*(4*x*log(3) - 4*x^2) + 8*x^2*log(3) - 4*x^2 - 8*x^3)))/(x - log(3)),x)

[Out]

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

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((-4*x*ln(3)+4*x**2)*ln(ln(3)-x)-8*x**2*ln(3)+8*x**3+4*x**2)*exp(4*x*ln(ln(3)-x)+4*x**2)+(-x+1)*ln(
3)+x**2-x)/(ln(3)-x)/exp(exp(4*x*ln(ln(3)-x)+4*x**2)+x),x)

[Out]

Timed out

________________________________________________________________________________________