\(\int \frac {e^{5+e^x+x} (2-\log (\frac {\log ^2(-2+x)}{x^2})) (2 x+(8-2 x^2+e^x (4 x-2 x^2)) \log (-2+x)+(-2-x+x^2+e^x (-2 x+x^2)) \log (-2+x) \log (\frac {\log ^2(-2+x)}{x^2}))}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log (\frac {\log ^2(-2+x)}{x^2})} \, dx\) [232]

Optimal result

Integrand size = 120, antiderivative size = 25 \[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=e^{5+e^x+x} x \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \]

[Out]

x*exp(ln(-ln(ln(-2+x)^2/x^2)+2)+exp(x)+5+x)

Rubi [F]

\[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=\int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx \]

[In]

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

[Out]

2*E^(5 + E^x) - (E^(5 + E^x + x)*(x + E^x*x)*Log[Log[-2 + x]^2/x^2])/(1 + E^x) + 2*Defer[Int][E^(5 + E^x + x)*
x, x] + 2*Defer[Int][E^(5 + E^x + 2*x)*x, x]

Rubi steps \begin{align*} \text {integral}& = \int e^{5+e^x+x} \left (2 \left (2+x+e^x x\right )-\frac {2 x}{(-2+x) \log (-2+x)}-\left (1+x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \, dx \\ & = \int \left (2 e^{5+e^x+x} \left (2+x+e^x x\right )-\frac {2 e^{5+e^x+x} x}{(-2+x) \log (-2+x)}-e^{5+e^x+x} \left (1+x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \, dx \\ & = 2 \int e^{5+e^x+x} \left (2+x+e^x x\right ) \, dx-2 \int \frac {e^{5+e^x+x} x}{(-2+x) \log (-2+x)} \, dx-\int e^{5+e^x+x} \left (1+x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right ) \, dx \\ & = -\frac {e^{5+e^x+x} \left (x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )}{1+e^x}+2 \int \left (2 e^{5+e^x+x}+e^{5+e^x+x} x+e^{5+e^x+2 x} x\right ) \, dx-2 \int \left (\frac {e^{5+e^x+x}}{\log (-2+x)}+\frac {2 e^{5+e^x+x}}{(-2+x) \log (-2+x)}\right ) \, dx+\int 2 e^{5+e^x+x} \left (-1+\frac {x}{(-2+x) \log (-2+x)}\right ) \, dx \\ & = -\frac {e^{5+e^x+x} \left (x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )}{1+e^x}+2 \int e^{5+e^x+x} x \, dx+2 \int e^{5+e^x+2 x} x \, dx+2 \int e^{5+e^x+x} \left (-1+\frac {x}{(-2+x) \log (-2+x)}\right ) \, dx-2 \int \frac {e^{5+e^x+x}}{\log (-2+x)} \, dx+4 \int e^{5+e^x+x} \, dx-4 \int \frac {e^{5+e^x+x}}{(-2+x) \log (-2+x)} \, dx \\ & = -\frac {e^{5+e^x+x} \left (x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )}{1+e^x}+2 \int e^{5+e^x+x} x \, dx+2 \int e^{5+e^x+2 x} x \, dx+2 \int \left (-e^{5+e^x+x}+\frac {e^{5+e^x+x} x}{(-2+x) \log (-2+x)}\right ) \, dx-2 \int \frac {e^{5+e^x+x}}{\log (-2+x)} \, dx-4 \int \frac {e^{5+e^x+x}}{(-2+x) \log (-2+x)} \, dx+4 \text {Subst}\left (\int e^{5+x} \, dx,x,e^x\right ) \\ & = 4 e^{5+e^x}-\frac {e^{5+e^x+x} \left (x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )}{1+e^x}-2 \int e^{5+e^x+x} \, dx+2 \int e^{5+e^x+x} x \, dx+2 \int e^{5+e^x+2 x} x \, dx-2 \int \frac {e^{5+e^x+x}}{\log (-2+x)} \, dx+2 \int \frac {e^{5+e^x+x} x}{(-2+x) \log (-2+x)} \, dx-4 \int \frac {e^{5+e^x+x}}{(-2+x) \log (-2+x)} \, dx \\ & = 4 e^{5+e^x}-\frac {e^{5+e^x+x} \left (x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )}{1+e^x}+2 \int e^{5+e^x+x} x \, dx+2 \int e^{5+e^x+2 x} x \, dx+2 \int \left (\frac {e^{5+e^x+x}}{\log (-2+x)}+\frac {2 e^{5+e^x+x}}{(-2+x) \log (-2+x)}\right ) \, dx-2 \int \frac {e^{5+e^x+x}}{\log (-2+x)} \, dx-2 \text {Subst}\left (\int e^{5+x} \, dx,x,e^x\right )-4 \int \frac {e^{5+e^x+x}}{(-2+x) \log (-2+x)} \, dx \\ & = 2 e^{5+e^x}-\frac {e^{5+e^x+x} \left (x+e^x x\right ) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )}{1+e^x}+2 \int e^{5+e^x+x} x \, dx+2 \int e^{5+e^x+2 x} x \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 5.13 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96 \[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=-e^{5+e^x+x} x \left (-2+\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \]

[In]

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

[Out]

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

Maple [C] (warning: unable to verify)

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

Time = 0.09 (sec) , antiderivative size = 627, normalized size of antiderivative = 25.08

\[\text {Expression too large to display}\]

[In]

int((((x^2-2*x)*exp(x)+x^2-x-2)*ln(-2+x)*ln(ln(-2+x)^2/x^2)+((-2*x^2+4*x)*exp(x)-2*x^2+8)*ln(-2+x)+2*x)*exp(ln
(-ln(ln(-2+x)^2/x^2)+2)+exp(x)+5+x)/((-2+x)*ln(-2+x)*ln(ln(-2+x)^2/x^2)+(4-2*x)*ln(-2+x)),x)

[Out]

-I*(I*Pi*x*csgn(I*ln(-2+x))^2*csgn(I*ln(-2+x)^2)-2*I*Pi*x*csgn(I*ln(-2+x))*csgn(I*ln(-2+x)^2)^2+I*Pi*x*csgn(I*
ln(-2+x)^2)^3-I*Pi*x*csgn(I*ln(-2+x)^2)*csgn(I/x^2*ln(-2+x)^2)^2+I*Pi*x*csgn(I*ln(-2+x)^2)*csgn(I/x^2*ln(-2+x)
^2)*csgn(I/x^2)+I*Pi*x*csgn(I/x^2*ln(-2+x)^2)^3-I*Pi*x*csgn(I/x^2*ln(-2+x)^2)^2*csgn(I/x^2)-I*Pi*x*csgn(I*x)^2
*csgn(I*x^2)+2*I*Pi*x*csgn(I*x)*csgn(I*x^2)^2-I*Pi*x*csgn(I*x^2)^3+4*x*ln(x)-4*x*ln(ln(-2+x))+4*x)/(-4*I*ln(x)
-4*I+4*I*ln(ln(-2+x))+Pi*csgn(I/x^2*ln(-2+x)^2)^3-Pi*csgn(I*x^2)^3+Pi*csgn(I*ln(-2+x)^2)^3+Pi*csgn(I*ln(-2+x)^
2)*csgn(I/x^2*ln(-2+x)^2)*csgn(I/x^2)-Pi*csgn(I*x)^2*csgn(I*x^2)+2*Pi*csgn(I*x)*csgn(I*x^2)^2-Pi*csgn(I*ln(-2+
x)^2)*csgn(I/x^2*ln(-2+x)^2)^2-Pi*csgn(I/x^2*ln(-2+x)^2)^2*csgn(I/x^2)+Pi*csgn(I*ln(-2+x))^2*csgn(I*ln(-2+x)^2
)-2*Pi*csgn(I*ln(-2+x))*csgn(I*ln(-2+x)^2)^2)*(2*ln(x)-2*ln(ln(-2+x))+1/2*I*Pi*csgn(I*ln(-2+x)^2)*(-csgn(I*ln(
-2+x)^2)+csgn(I*ln(-2+x)))^2-1/2*I*Pi*csgn(I*x^2)*(-csgn(I*x^2)+csgn(I*x))^2+1/2*I*Pi*csgn(I/x^2*ln(-2+x)^2)*(
-csgn(I/x^2*ln(-2+x)^2)+csgn(I/x^2))*(-csgn(I/x^2*ln(-2+x)^2)+csgn(I*ln(-2+x)^2))+2)*exp(exp(x)+5+x)

Fricas [A] (verification not implemented)

none

Time = 0.25 (sec) , antiderivative size = 24, normalized size of antiderivative = 0.96 \[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=x e^{\left (x + e^{x} + \log \left (-\log \left (\frac {\log \left (x - 2\right )^{2}}{x^{2}}\right ) + 2\right ) + 5\right )} \]

[In]

integrate((((x^2-2*x)*exp(x)+x^2-x-2)*log(-2+x)*log(log(-2+x)^2/x^2)+((-2*x^2+4*x)*exp(x)-2*x^2+8)*log(-2+x)+2
*x)*exp(log(-log(log(-2+x)^2/x^2)+2)+exp(x)+5+x)/((-2+x)*log(-2+x)*log(log(-2+x)^2/x^2)+(4-2*x)*log(-2+x)),x,
algorithm="fricas")

[Out]

x*e^(x + e^x + log(-log(log(x - 2)^2/x^2) + 2) + 5)

Sympy [F(-1)]

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

[In]

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

[Out]

Timed out

Maxima [A] (verification not implemented)

none

Time = 0.33 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.32 \[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=-2 \, x e^{\left (x + e^{x} + 5\right )} \log \left (\log \left (x - 2\right )\right ) + 2 \, {\left (x e^{5} \log \left (x\right ) + x e^{5}\right )} e^{\left (x + e^{x}\right )} \]

[In]

integrate((((x^2-2*x)*exp(x)+x^2-x-2)*log(-2+x)*log(log(-2+x)^2/x^2)+((-2*x^2+4*x)*exp(x)-2*x^2+8)*log(-2+x)+2
*x)*exp(log(-log(log(-2+x)^2/x^2)+2)+exp(x)+5+x)/((-2+x)*log(-2+x)*log(log(-2+x)^2/x^2)+(4-2*x)*log(-2+x)),x,
algorithm="maxima")

[Out]

-2*x*e^(x + e^x + 5)*log(log(x - 2)) + 2*(x*e^5*log(x) + x*e^5)*e^(x + e^x)

Giac [F]

\[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=\int { \frac {{\left ({\left (x^{2} + {\left (x^{2} - 2 \, x\right )} e^{x} - x - 2\right )} \log \left (x - 2\right ) \log \left (\frac {\log \left (x - 2\right )^{2}}{x^{2}}\right ) - 2 \, {\left (x^{2} + {\left (x^{2} - 2 \, x\right )} e^{x} - 4\right )} \log \left (x - 2\right ) + 2 \, x\right )} e^{\left (x + e^{x} + \log \left (-\log \left (\frac {\log \left (x - 2\right )^{2}}{x^{2}}\right ) + 2\right ) + 5\right )}}{{\left (x - 2\right )} \log \left (x - 2\right ) \log \left (\frac {\log \left (x - 2\right )^{2}}{x^{2}}\right ) - 2 \, {\left (x - 2\right )} \log \left (x - 2\right )} \,d x } \]

[In]

integrate((((x^2-2*x)*exp(x)+x^2-x-2)*log(-2+x)*log(log(-2+x)^2/x^2)+((-2*x^2+4*x)*exp(x)-2*x^2+8)*log(-2+x)+2
*x)*exp(log(-log(log(-2+x)^2/x^2)+2)+exp(x)+5+x)/((-2+x)*log(-2+x)*log(log(-2+x)^2/x^2)+(4-2*x)*log(-2+x)),x,
algorithm="giac")

[Out]

undef

Mupad [F(-1)]

Timed out. \[ \int \frac {e^{5+e^x+x} \left (2-\log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right ) \left (2 x+\left (8-2 x^2+e^x \left (4 x-2 x^2\right )\right ) \log (-2+x)+\left (-2-x+x^2+e^x \left (-2 x+x^2\right )\right ) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )\right )}{(4-2 x) \log (-2+x)+(-2+x) \log (-2+x) \log \left (\frac {\log ^2(-2+x)}{x^2}\right )} \, dx=-\int \frac {{\mathrm {e}}^{x+\ln \left (2-\ln \left (\frac {{\ln \left (x-2\right )}^2}{x^2}\right )\right )+{\mathrm {e}}^x+5}\,\left (2\,x+\ln \left (x-2\right )\,\left ({\mathrm {e}}^x\,\left (4\,x-2\,x^2\right )-2\,x^2+8\right )-\ln \left (x-2\right )\,\ln \left (\frac {{\ln \left (x-2\right )}^2}{x^2}\right )\,\left (x+{\mathrm {e}}^x\,\left (2\,x-x^2\right )-x^2+2\right )\right )}{\ln \left (x-2\right )\,\left (2\,x-4\right )-\ln \left (x-2\right )\,\ln \left (\frac {{\ln \left (x-2\right )}^2}{x^2}\right )\,\left (x-2\right )} \,d x \]

[In]

int(-(exp(x + log(2 - log(log(x - 2)^2/x^2)) + exp(x) + 5)*(2*x + log(x - 2)*(exp(x)*(4*x - 2*x^2) - 2*x^2 + 8
) - log(x - 2)*log(log(x - 2)^2/x^2)*(x + exp(x)*(2*x - x^2) - x^2 + 2)))/(log(x - 2)*(2*x - 4) - log(x - 2)*l
og(log(x - 2)^2/x^2)*(x - 2)),x)

[Out]

-int((exp(x + log(2 - log(log(x - 2)^2/x^2)) + exp(x) + 5)*(2*x + log(x - 2)*(exp(x)*(4*x - 2*x^2) - 2*x^2 + 8
) - log(x - 2)*log(log(x - 2)^2/x^2)*(x + exp(x)*(2*x - x^2) - x^2 + 2)))/(log(x - 2)*(2*x - 4) - log(x - 2)*l
og(log(x - 2)^2/x^2)*(x - 2)), x)