\(\int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} (-16 x^2+e^x (-12 x^2-4 x^3)-12 x^2 \log (x))) \, dx\) [178]

Optimal result

Integrand size = 109, antiderivative size = 28 \[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=e^{e^{1-\frac {x}{2}}-e^{2 x^3 \left (1+e^x+\log (x)\right )}} \]

[Out]

exp(exp(1-1/2*x)-exp(2*x^3*(exp(x)+ln(x)+1)))

Rubi [A] (verified)

Time = 1.01 (sec) , antiderivative size = 39, normalized size of antiderivative = 1.39, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.018, Rules used = {12, 6838} \[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=e^{e^{\frac {2-x}{2}}-e^{2 e^x x^3+2 x^3} x^{2 x^3}} \]

[In]

Int[(E^(E^((2 - x)/2) - E^(2*x^3 + 2*E^x*x^3 + 2*x^3*Log[x]))*(-E^((2 - x)/2) + E^(2*x^3 + 2*E^x*x^3 + 2*x^3*L
og[x])*(-16*x^2 + E^x*(-12*x^2 - 4*x^3) - 12*x^2*Log[x])))/2,x]

[Out]

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

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, 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}& = \frac {1}{2} \int e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx \\ & = e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3} x^{2 x^3}} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.31 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.18 \[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=e^{e^{1-\frac {x}{2}}-e^{2 \left (1+e^x\right ) x^3} x^{2 x^3}} \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 3.22 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.82

method	result	size
parallelrisch	\({\mathrm e}^{{\mathrm e}^{1-\frac {x}{2}}-{\mathrm e}^{2 x^{3} \left ({\mathrm e}^{x}+\ln \left (x \right )+1\right )}}\)	\(23\)
risch	\({\mathrm e}^{-x^{2 x^{3}} {\mathrm e}^{2 x^{3} \left ({\mathrm e}^{x}+1\right )}+{\mathrm e}^{1-\frac {x}{2}}}\)	\(28\)

[In]

int(1/2*((-12*x^2*ln(x)+(-4*x^3-12*x^2)*exp(x)-16*x^2)*exp(2*x^3*ln(x)+2*exp(x)*x^3+2*x^3)-exp(1-1/2*x))*exp(-
exp(2*x^3*ln(x)+2*exp(x)*x^3+2*x^3)+exp(1-1/2*x)),x,method=_RETURNVERBOSE)

[Out]

exp(exp(1-1/2*x)-exp(2*x^3*(exp(x)+ln(x)+1)))

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 46 vs. \(2 (22) = 44\).

Time = 0.29 (sec) , antiderivative size = 46, normalized size of antiderivative = 1.64 \[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=e^{\left (-e^{\left (2 \, {\left (x^{3} e^{\left (-x + 2\right )} \log \left (x\right ) + x^{3} e^{2} + x^{3} e^{\left (-x + 2\right )}\right )} e^{\left (x - 2\right )}\right )} + e^{\left (-\frac {1}{2} \, x + 1\right )}\right )} \]

[In]

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

[Out]

e^(-e^(2*(x^3*e^(-x + 2)*log(x) + x^3*e^2 + x^3*e^(-x + 2))*e^(x - 2)) + e^(-1/2*x + 1))

Sympy [A] (verification not implemented)

Time = 5.50 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.21 \[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=e^{- e^{2 x^{3} e^{x} + 2 x^{3} \log {\left (x \right )} + 2 x^{3}} + \frac {e}{\sqrt {e^{x}}}} \]

[In]

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

[Out]

exp(-exp(2*x**3*exp(x) + 2*x**3*log(x) + 2*x**3) + E/sqrt(exp(x)))

Maxima [F]

\[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=\int { -\frac {1}{2} \, {\left (4 \, {\left (3 \, x^{2} \log \left (x\right ) + 4 \, x^{2} + {\left (x^{3} + 3 \, x^{2}\right )} e^{x}\right )} e^{\left (2 \, x^{3} e^{x} + 2 \, x^{3} \log \left (x\right ) + 2 \, x^{3}\right )} + e^{\left (-\frac {1}{2} \, x + 1\right )}\right )} e^{\left (-e^{\left (2 \, x^{3} e^{x} + 2 \, x^{3} \log \left (x\right ) + 2 \, x^{3}\right )} + e^{\left (-\frac {1}{2} \, x + 1\right )}\right )} \,d x } \]

[In]

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

[Out]

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

Giac [F]

\[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx=\int { -\frac {1}{2} \, {\left (4 \, {\left (3 \, x^{2} \log \left (x\right ) + 4 \, x^{2} + {\left (x^{3} + 3 \, x^{2}\right )} e^{x}\right )} e^{\left (2 \, x^{3} e^{x} + 2 \, x^{3} \log \left (x\right ) + 2 \, x^{3}\right )} + e^{\left (-\frac {1}{2} \, x + 1\right )}\right )} e^{\left (-e^{\left (2 \, x^{3} e^{x} + 2 \, x^{3} \log \left (x\right ) + 2 \, x^{3}\right )} + e^{\left (-\frac {1}{2} \, x + 1\right )}\right )} \,d x } \]

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 8.37 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.18 \[ \int \frac {1}{2} e^{e^{\frac {2-x}{2}}-e^{2 x^3+2 e^x x^3+2 x^3 \log (x)}} \left (-e^{\frac {2-x}{2}}+e^{2 x^3+2 e^x x^3+2 x^3 \log (x)} \left (-16 x^2+e^x \left (-12 x^2-4 x^3\right )-12 x^2 \log (x)\right )\right ) \, dx={\mathrm {e}}^{{\mathrm {e}}^{-\frac {x}{2}}\,\mathrm {e}}\,{\mathrm {e}}^{-x^{2\,x^3}\,{\mathrm {e}}^{2\,x^3\,{\mathrm {e}}^x}\,{\mathrm {e}}^{2\,x^3}} \]

[In]

int(-(exp(exp(1 - x/2) - exp(2*x^3*exp(x) + 2*x^3*log(x) + 2*x^3))*(exp(1 - x/2) + exp(2*x^3*exp(x) + 2*x^3*lo
g(x) + 2*x^3)*(exp(x)*(12*x^2 + 4*x^3) + 12*x^2*log(x) + 16*x^2)))/2,x)

[Out]

exp(exp(-x/2)*exp(1))*exp(-x^(2*x^3)*exp(2*x^3*exp(x))*exp(2*x^3))