\(\int \frac {e^{-2 x} (32 e^x x^4+(-x^9+e^x (-160 x^4+32 x^5) \log (x)) \log (\frac {3}{\log (x)})+(5 x^9-x^{10}) \log (x) \log ^2(\frac {3}{\log (x)}))}{128 \log (x)} \, dx\) [9534]

Optimal result

Integrand size = 76, antiderivative size = 23 \[ \int \frac {e^{-2 x} \left (32 e^x x^4+\left (-x^9+e^x \left (-160 x^4+32 x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx=\left (-2+\frac {1}{16} e^{-x} x^5 \log \left (\frac {3}{\log (x)}\right )\right )^2 \]

[Out]

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

Rubi [A] (verified)

Time = 0.81 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.78, number of steps used = 6, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {12, 6820, 6874, 2326} \[ \int \frac {e^{-2 x} \left (32 e^x x^4+\left (-x^9+e^x \left (-160 x^4+32 x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx=\frac {1}{256} e^{-2 x} x^{10} \log ^2\left (\frac {3}{\log (x)}\right )-\frac {1}{4} e^{-x} x^5 \log \left (\frac {3}{\log (x)}\right ) \]

[In]

Int[(32*E^x*x^4 + (-x^9 + E^x*(-160*x^4 + 32*x^5)*Log[x])*Log[3/Log[x]] + (5*x^9 - x^10)*Log[x]*Log[3/Log[x]]^
2)/(128*E^(2*x)*Log[x]),x]

[Out]

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

Rule 12

Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] &&  !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]

Rule 2326

Int[(y_.)*(F_)^(u_)*((v_) + (w_)), x_Symbol] :> With[{z = v*(y/(Log[F]*D[u, x]))}, Simp[F^u*z, x] /; EqQ[D[z,
x], w*y]] /; FreeQ[F, x]

Rule 6820

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

Rule 6874

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

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

Mathematica [A] (verified)

Time = 0.21 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.57 \[ \int \frac {e^{-2 x} \left (32 e^x x^4+\left (-x^9+e^x \left (-160 x^4+32 x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx=\frac {1}{256} e^{-2 x} x^5 \log \left (\frac {3}{\log (x)}\right ) \left (-64 e^x+x^5 \log \left (\frac {3}{\log (x)}\right )\right ) \]

[In]

Integrate[(32*E^x*x^4 + (-x^9 + E^x*(-160*x^4 + 32*x^5)*Log[x])*Log[3/Log[x]] + (5*x^9 - x^10)*Log[x]*Log[3/Lo
g[x]]^2)/(128*E^(2*x)*Log[x]),x]

[Out]

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

Maple [A] (verified)

Time = 4.70 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.57

method	result	size
parallelrisch	\(-\frac {\left (-\ln \left (\frac {3}{\ln \left (x \right )}\right )^{2} x^{10}+64 \ln \left (\frac {3}{\ln \left (x \right )}\right ) {\mathrm e}^{x} x^{5}\right ) {\mathrm e}^{-2 x}}{256}\)	\(36\)
risch	\(\frac {x^{10} {\mathrm e}^{-2 x} \ln \left (\ln \left (x \right )\right )^{2}}{256}-\frac {x^{5} \left (2 x^{5} \ln \left (3\right )-64 \,{\mathrm e}^{x}\right ) {\mathrm e}^{-2 x} \ln \left (\ln \left (x \right )\right )}{256}+\frac {x^{5} \left (4 x^{5} \ln \left (3\right )^{2}-256 \ln \left (3\right ) {\mathrm e}^{x}\right ) {\mathrm e}^{-2 x}}{1024}\)	\(65\)

[In]

int(1/128*((-x^10+5*x^9)*ln(x)*ln(3/ln(x))^2+((32*x^5-160*x^4)*exp(x)*ln(x)-x^9)*ln(3/ln(x))+32*exp(x)*x^4)/ex
p(x)^2/ln(x),x,method=_RETURNVERBOSE)

[Out]

-1/256*(-ln(3/ln(x))^2*x^10+64*ln(3/ln(x))*exp(x)*x^5)/exp(x)^2

Fricas [A] (verification not implemented)

none

Time = 0.27 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.48 \[ \int \frac {e^{-2 x} \left (32 e^x x^4+\left (-x^9+e^x \left (-160 x^4+32 x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx=\frac {1}{256} \, {\left (x^{10} \log \left (\frac {3}{\log \left (x\right )}\right )^{2} - 64 \, x^{5} e^{x} \log \left (\frac {3}{\log \left (x\right )}\right )\right )} e^{\left (-2 \, x\right )} \]

[In]

integrate(1/128*((-x^10+5*x^9)*log(x)*log(3/log(x))^2+((32*x^5-160*x^4)*exp(x)*log(x)-x^9)*log(3/log(x))+32*ex
p(x)*x^4)/exp(x)^2/log(x),x, algorithm="fricas")

[Out]

1/256*(x^10*log(3/log(x))^2 - 64*x^5*e^x*log(3/log(x)))*e^(-2*x)

Sympy [A] (verification not implemented)

Time = 49.16 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.39 \[ \int \frac {e^{-2 x} \left (32 e^x x^4+\left (-x^9+e^x \left (-160 x^4+32 x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx=\frac {x^{10} e^{- 2 x} \log {\left (\frac {3}{\log {\left (x \right )}} \right )}^{2}}{256} - \frac {x^{5} e^{- x} \log {\left (\frac {3}{\log {\left (x \right )}} \right )}}{4} \]

[In]

integrate(1/128*((-x**10+5*x**9)*ln(x)*ln(3/ln(x))**2+((32*x**5-160*x**4)*exp(x)*ln(x)-x**9)*ln(3/ln(x))+32*ex
p(x)*x**4)/exp(x)**2/ln(x),x)

[Out]

x**10*exp(-2*x)*log(3/log(x))**2/256 - x**5*exp(-x)*log(3/log(x))/4

Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 64 vs. \(2 (21) = 42\).

Time = 0.33 (sec) , antiderivative size = 64, normalized size of antiderivative = 2.78 \[ \int \frac {e^{-2 x} \left (32 e^x x^4+\left (-x^9+e^x \left (-160 x^4+32 x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx=\frac {1}{256} \, x^{10} e^{\left (-2 \, x\right )} \log \left (3\right )^{2} + \frac {1}{256} \, x^{10} e^{\left (-2 \, x\right )} \log \left (\log \left (x\right )\right )^{2} - \frac {1}{4} \, x^{5} e^{\left (-x\right )} \log \left (3\right ) - \frac {1}{128} \, {\left (x^{10} e^{\left (-2 \, x\right )} \log \left (3\right ) - 32 \, x^{5} e^{\left (-x\right )}\right )} \log \left (\log \left (x\right )\right ) \]

[In]

integrate(1/128*((-x^10+5*x^9)*log(x)*log(3/log(x))^2+((32*x^5-160*x^4)*exp(x)*log(x)-x^9)*log(3/log(x))+32*ex
p(x)*x^4)/exp(x)^2/log(x),x, algorithm="maxima")

[Out]

1/256*x^10*e^(-2*x)*log(3)^2 + 1/256*x^10*e^(-2*x)*log(log(x))^2 - 1/4*x^5*e^(-x)*log(3) - 1/128*(x^10*e^(-2*x
)*log(3) - 32*x^5*e^(-x))*log(log(x))

Giac [F]

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

[In]

integrate(1/128*((-x^10+5*x^9)*log(x)*log(3/log(x))^2+((32*x^5-160*x^4)*exp(x)*log(x)-x^9)*log(3/log(x))+32*ex
p(x)*x^4)/exp(x)^2/log(x),x, algorithm="giac")

[Out]

integrate(1/128*(32*x^4*e^x - (x^10 - 5*x^9)*log(x)*log(3/log(x))^2 - (x^9 - 32*(x^5 - 5*x^4)*e^x*log(x))*log(
3/log(x)))*e^(-2*x)/log(x), x)

Mupad [F(-1)]

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

[In]

int((exp(-2*x)*((x^4*exp(x))/4 - (log(3/log(x))*(x^9 + exp(x)*log(x)*(160*x^4 - 32*x^5)))/128 + (log(3/log(x))
^2*log(x)*(5*x^9 - x^10))/128))/log(x),x)

[Out]

int((exp(-2*x)*((x^4*exp(x))/4 - (log(3/log(x))*(x^9 + exp(x)*log(x)*(160*x^4 - 32*x^5)))/128 + (log(3/log(x))
^2*log(x)*(5*x^9 - x^10))/128))/log(x), x)