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

Optimal result

Integrand size = 237, antiderivative size = 27 \[ \int \frac {e^x \left (-x-x^2\right )+4 e^{5 x} x \log ^3(1+x)+e^{5 x} \left (4 x+4 x^2\right ) \log ^4(1+x)+\left (e^x \left (-x-x^2\right )+e^{5 x} (1+x) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )+\left (e^x \left (-x^2-x^3\right )+e^{5 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right ) \log \left (x \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )\right )}{\left (-x^2-x^3+e^{4 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )} \, dx=e^x \log \left (x \log \left (\frac {2}{3} \left (x-e^{4 x} \log ^4(1+x)\right )\right )\right ) \]

[Out]

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

Rubi [A] (verified)

Time = 23.45 (sec) , antiderivative size = 27, normalized size of antiderivative = 1.00, number of steps used = 41, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.025, Rules used = {6873, 6874, 6820, 2209, 2225, 2635} \[ \int \frac {e^x \left (-x-x^2\right )+4 e^{5 x} x \log ^3(1+x)+e^{5 x} \left (4 x+4 x^2\right ) \log ^4(1+x)+\left (e^x \left (-x-x^2\right )+e^{5 x} (1+x) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )+\left (e^x \left (-x^2-x^3\right )+e^{5 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right ) \log \left (x \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )\right )}{\left (-x^2-x^3+e^{4 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )} \, dx=e^x \log \left (x \log \left (\frac {2}{3} \left (x-e^{4 x} \log ^4(x+1)\right )\right )\right ) \]

[In]

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

[Out]

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

Rule 2209

Int[(F_)^((g_.)*((e_.) + (f_.)*(x_)))/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[(F^(g*(e - c*(f/d)))/d)*ExpInteg
ralEi[f*g*(c + d*x)*(Log[F]/d)], x] /; FreeQ[{F, c, d, e, f, g}, x] &&  !TrueQ[$UseGamma]

Rule 2225

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rule 2635

Int[Log[u_]*(v_), x_Symbol] :> With[{w = IntHide[v, x]}, Dist[Log[u], w, x] - Int[SimplifyIntegrand[w*Simplify
[D[u, x]/u], x], x] /; InverseFunctionFreeQ[w, x]] /; ProductQ[u]

Rule 6820

Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; SimplerIntegrandQ[v, u, x]]

Rule 6873

Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =!= u]

Rule 6874

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

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

Mathematica [A] (verified)

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

[In]

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

[Out]

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

Maple [C] (warning: unable to verify)

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

Time = 1.24 (sec) , antiderivative size = 198, normalized size of antiderivative = 7.33

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

[In]

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

[Out]

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

Fricas [A] (verification not implemented)

none

Time = 0.26 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.85 \[ \int \frac {e^x \left (-x-x^2\right )+4 e^{5 x} x \log ^3(1+x)+e^{5 x} \left (4 x+4 x^2\right ) \log ^4(1+x)+\left (e^x \left (-x-x^2\right )+e^{5 x} (1+x) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )+\left (e^x \left (-x^2-x^3\right )+e^{5 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right ) \log \left (x \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )\right )}{\left (-x^2-x^3+e^{4 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )} \, dx=e^{x} \log \left (x \log \left (-\frac {2}{3} \, e^{\left (4 \, x\right )} \log \left (x + 1\right )^{4} + \frac {2}{3} \, x\right )\right ) \]

[In]

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

[Out]

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

Sympy [F(-1)]

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

[In]

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

[Out]

Timed out

Maxima [F]

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

[In]

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

[Out]

e^x*log(x) + e^x*log(-log(3) + log(2) + log(-e^(4*x)*log(x + 1)^4 + x)) + integrate((4*(x + 1)*e^(5*x)*log(x +
1)^4 + 4*e^(5*x)*log(x + 1)^3 - (x + 1)*e^x)/((I*pi + (I*pi - log(3) + log(2))*x - log(3) + log(2))*e^(4*x)*l
og(x + 1)^4 + (-I*pi + log(3) - log(2))*x^2 + (-I*pi + log(3) - log(2))*x + ((x + 1)*e^(4*x)*log(x + 1)^4 - x^
2 - x)*log(e^(4*x)*log(x + 1)^4 - x)), x) - integrate(-(4*(x + 1)*e^(5*x)*log(x + 1)^4 + 4*e^(5*x)*log(x + 1)^
3 - (x + 1)*e^x)/((x*(log(3) - log(2)) + log(3) - log(2))*e^(4*x)*log(x + 1)^4 - x^2*(log(3) - log(2)) - x*(lo
g(3) - log(2)) - ((x + 1)*e^(4*x)*log(x + 1)^4 - x^2 - x)*log(-e^(4*x)*log(x + 1)^4 + x)), x)

Giac [F]

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

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 14.91 (sec) , antiderivative size = 23, normalized size of antiderivative = 0.85 \[ \int \frac {e^x \left (-x-x^2\right )+4 e^{5 x} x \log ^3(1+x)+e^{5 x} \left (4 x+4 x^2\right ) \log ^4(1+x)+\left (e^x \left (-x-x^2\right )+e^{5 x} (1+x) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )+\left (e^x \left (-x^2-x^3\right )+e^{5 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right ) \log \left (x \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )\right )}{\left (-x^2-x^3+e^{4 x} \left (x+x^2\right ) \log ^4(1+x)\right ) \log \left (\frac {1}{3} \left (2 x-2 e^{4 x} \log ^4(1+x)\right )\right )} \, dx=\ln \left (x\,\ln \left (\frac {2\,x}{3}-\frac {2\,{\ln \left (x+1\right )}^4\,{\mathrm {e}}^{4\,x}}{3}\right )\right )\,{\mathrm {e}}^x \]

[In]

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

[Out]

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