\(\int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log (\log (\frac {x^2}{\log ^2(2) \log ^2(x)}))}} (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log (\frac {x^2}{\log ^2(2) \log ^2(x)})-e^2 \log (x) \log (\frac {x^2}{\log ^2(2) \log ^2(x)}) \log (\log (\frac {x^2}{\log ^2(2) \log ^2(x)})))}{(9 x^2-6 e^x x^2+e^{2 x} x^2) \log (x) \log (\frac {x^2}{\log ^2(2) \log ^2(x)})+(6 x-2 e^x x) \log (x) \log (\frac {x^2}{\log ^2(2) \log ^2(x)}) \log (\log (\frac {x^2}{\log ^2(2) \log ^2(x)}))+\log (x) \log (\frac {x^2}{\log ^2(2) \log ^2(x)}) \log ^2(\log (\frac {x^2}{\log ^2(2) \log ^2(x)}))} \, dx\) [6493]

Optimal result

Integrand size = 221, antiderivative size = 33 \[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=e^{\frac {e^2 x}{\left (-3+e^x\right ) x-\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \]

[Out]

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

Rubi [A] (verified)

Time = 2.89 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.03, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.009, Rules used = {6820, 6838} \[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=\exp \left (-\frac {e^2 x}{\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\left (3-e^x\right ) x}\right ) \]

[In]

Int[(-2*E^2 + 2*E^2*Log[x] - E^(2 + x)*x^2*Log[x]*Log[x^2/(Log[2]^2*Log[x]^2)] - E^2*Log[x]*Log[x^2/(Log[2]^2*
Log[x]^2)]*Log[Log[x^2/(Log[2]^2*Log[x]^2)]])/(E^((E^2*x)/(3*x - E^x*x + Log[Log[x^2/(Log[2]^2*Log[x]^2)]]))*(
(9*x^2 - 6*E^x*x^2 + E^(2*x)*x^2)*Log[x]*Log[x^2/(Log[2]^2*Log[x]^2)] + (6*x - 2*E^x*x)*Log[x]*Log[x^2/(Log[2]
^2*Log[x]^2)]*Log[Log[x^2/(Log[2]^2*Log[x]^2)]] + Log[x]*Log[x^2/(Log[2]^2*Log[x]^2)]*Log[Log[x^2/(Log[2]^2*Lo
g[x]^2)]]^2)),x]

[Out]

E^(-((E^2*x)/((3 - E^x)*x + Log[Log[x^2/(Log[2]^2*Log[x]^2)]])))

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 \frac {\exp \left (2+\frac {e^2 x}{\left (-3+e^x\right ) x-\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}\right ) \left (-2-\log (x) \left (-2+\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \left (e^x x^2+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )\right )\right )}{\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \left (\left (-3+e^x\right ) x-\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )^2} \, dx \\ & = \exp \left (-\frac {e^2 x}{\left (3-e^x\right ) x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}\right ) \\ \end{align*}

Mathematica [A] (verified)

Time = 0.29 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.03 \[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \]

[In]

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

[Out]

E^(-((E^2*x)/(3*x - E^x*x + Log[Log[x^2/(Log[2]^2*Log[x]^2)]])))

Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 0.92 (sec) , antiderivative size = 151, normalized size of antiderivative = 4.58

\[{\mathrm e}^{\frac {{\mathrm e}^{2} x}{{\mathrm e}^{x} x -\ln \left (-2 \ln \left (\ln \left (2\right )\right )+2 \ln \left (x \right )-2 \ln \left (\ln \left (x \right )\right )+\frac {i \pi \,\operatorname {csgn}\left (i \ln \left (x \right )^{2}\right ) {\left (-\operatorname {csgn}\left (i \ln \left (x \right )^{2}\right )+\operatorname {csgn}\left (i \ln \left (x \right )\right )\right )}^{2}}{2}-\frac {i \pi \,\operatorname {csgn}\left (i x^{2}\right ) {\left (-\operatorname {csgn}\left (i x^{2}\right )+\operatorname {csgn}\left (i x \right )\right )}^{2}}{2}-\frac {i \pi \,\operatorname {csgn}\left (\frac {i x^{2}}{\ln \left (x \right )^{2}}\right ) \left (-\operatorname {csgn}\left (\frac {i x^{2}}{\ln \left (x \right )^{2}}\right )+\operatorname {csgn}\left (i x^{2}\right )\right ) \left (-\operatorname {csgn}\left (\frac {i x^{2}}{\ln \left (x \right )^{2}}\right )+\operatorname {csgn}\left (\frac {i}{\ln \left (x \right )^{2}}\right )\right )}{2}\right )-3 x}}\]

[In]

int((-exp(2)*ln(x)*ln(x^2/ln(2)^2/ln(x)^2)*ln(ln(x^2/ln(2)^2/ln(x)^2))-x^2*exp(2)*exp(x)*ln(x)*ln(x^2/ln(2)^2/
ln(x)^2)+2*exp(2)*ln(x)-2*exp(2))*exp(-x*exp(2)/(ln(ln(x^2/ln(2)^2/ln(x)^2))-exp(x)*x+3*x))/(ln(x)*ln(x^2/ln(2
)^2/ln(x)^2)*ln(ln(x^2/ln(2)^2/ln(x)^2))^2+(-2*exp(x)*x+6*x)*ln(x)*ln(x^2/ln(2)^2/ln(x)^2)*ln(ln(x^2/ln(2)^2/l
n(x)^2))+(exp(x)^2*x^2-6*exp(x)*x^2+9*x^2)*ln(x)*ln(x^2/ln(2)^2/ln(x)^2)),x)

[Out]

exp(exp(2)*x/(exp(x)*x-ln(-2*ln(ln(2))+2*ln(x)-2*ln(ln(x))+1/2*I*Pi*csgn(I*ln(x)^2)*(-csgn(I*ln(x)^2)+csgn(I*l
n(x)))^2-1/2*I*Pi*csgn(I*x^2)*(-csgn(I*x^2)+csgn(I*x))^2-1/2*I*Pi*csgn(I/ln(x)^2*x^2)*(-csgn(I/ln(x)^2*x^2)+cs
gn(I*x^2))*(-csgn(I/ln(x)^2*x^2)+csgn(I/ln(x)^2)))-3*x))

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.15 \[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=e^{\left (-\frac {x e^{4}}{3 \, x e^{2} - x e^{\left (x + 2\right )} + e^{2} \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right )}\right )} \]

[In]

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

[Out]

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

Sympy [F(-1)]

Timed out. \[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=\text {Timed out} \]

[In]

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

[Out]

Timed out

Maxima [F]

\[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=\int { \frac {{\left (x^{2} e^{\left (x + 2\right )} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) + e^{2} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right ) - 2 \, e^{2} \log \left (x\right ) + 2 \, e^{2}\right )} e^{\left (\frac {x e^{2}}{x e^{x} - 3 \, x - \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right )}\right )}}{2 \, {\left (x e^{x} - 3 \, x\right )} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right ) - \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right )^{2} - {\left (x^{2} e^{\left (2 \, x\right )} - 6 \, x^{2} e^{x} + 9 \, x^{2}\right )} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )} \,d x } \]

[In]

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

[Out]

integrate((x^2*e^(x + 2)*log(x)*log(x^2/(log(2)^2*log(x)^2)) + e^2*log(x)*log(x^2/(log(2)^2*log(x)^2))*log(log
(x^2/(log(2)^2*log(x)^2))) - 2*e^2*log(x) + 2*e^2)*e^(x*e^2/(x*e^x - 3*x - log(log(x^2/(log(2)^2*log(x)^2)))))
/(2*(x*e^x - 3*x)*log(x)*log(x^2/(log(2)^2*log(x)^2))*log(log(x^2/(log(2)^2*log(x)^2))) - log(x)*log(x^2/(log(
2)^2*log(x)^2))*log(log(x^2/(log(2)^2*log(x)^2)))^2 - (x^2*e^(2*x) - 6*x^2*e^x + 9*x^2)*log(x)*log(x^2/(log(2)
^2*log(x)^2))), x)

Giac [F]

\[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx=\int { \frac {{\left (x^{2} e^{\left (x + 2\right )} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) + e^{2} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right ) - 2 \, e^{2} \log \left (x\right ) + 2 \, e^{2}\right )} e^{\left (\frac {x e^{2}}{x e^{x} - 3 \, x - \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right )}\right )}}{2 \, {\left (x e^{x} - 3 \, x\right )} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right ) - \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right ) \log \left (\log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )\right )^{2} - {\left (x^{2} e^{\left (2 \, x\right )} - 6 \, x^{2} e^{x} + 9 \, x^{2}\right )} \log \left (x\right ) \log \left (\frac {x^{2}}{\log \left (2\right )^{2} \log \left (x\right )^{2}}\right )} \,d x } \]

[In]

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

[Out]

undef

Mupad [B] (verification not implemented)

Time = 13.95 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.00 \[ \int \frac {e^{-\frac {e^2 x}{3 x-e^x x+\log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )}} \left (-2 e^2+2 e^2 \log (x)-e^{2+x} x^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )-e^2 \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )\right )}{\left (9 x^2-6 e^x x^2+e^{2 x} x^2\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )+\left (6 x-2 e^x x\right ) \log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log \left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )+\log (x) \log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right ) \log ^2\left (\log \left (\frac {x^2}{\log ^2(2) \log ^2(x)}\right )\right )} \, dx={\mathrm {e}}^{-\frac {x\,{\mathrm {e}}^2}{3\,x+\ln \left (\ln \left (x^2\right )+\ln \left (\frac {1}{{\ln \left (x\right )}^2}\right )-2\,\ln \left (\ln \left (2\right )\right )\right )-x\,{\mathrm {e}}^x}} \]

[In]

int(-(exp(-(x*exp(2))/(3*x + log(log(x^2/(log(2)^2*log(x)^2))) - x*exp(x)))*(2*exp(2) - 2*exp(2)*log(x) + log(
log(x^2/(log(2)^2*log(x)^2)))*exp(2)*log(x^2/(log(2)^2*log(x)^2))*log(x) + x^2*exp(2)*exp(x)*log(x^2/(log(2)^2
*log(x)^2))*log(x)))/(log(x^2/(log(2)^2*log(x)^2))*log(x)*(x^2*exp(2*x) - 6*x^2*exp(x) + 9*x^2) + log(log(x^2/
(log(2)^2*log(x)^2)))^2*log(x^2/(log(2)^2*log(x)^2))*log(x) + log(log(x^2/(log(2)^2*log(x)^2)))*log(x^2/(log(2
)^2*log(x)^2))*log(x)*(6*x - 2*x*exp(x))),x)

[Out]

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