Integrand size = 76, antiderivative size = 23 \begin {dmath*} \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 \end {dmath*}
Time = 0.21 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.57 \begin {dmath*} \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 ) \end {dmath*}
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/Log[x]]^2)/(128*E^(2*x)*Log[x]),x]
Time = 1.25 (sec) , antiderivative size = 43, normalized size of antiderivative = 1.87, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {27, 7239, 7293, 2009}
Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.
\(\displaystyle \int \frac {e^{-2 x} \left (32 e^x x^4+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )+\left (e^x \left (32 x^5-160 x^4\right ) \log (x)-x^9\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{128 \log (x)} \, dx\) |
\(\Big \downarrow \) 27 |
\(\displaystyle \frac {1}{128} \int \frac {e^{-2 x} \left (32 e^x x^4+\left (5 x^9-x^{10}\right ) \log (x) \log ^2\left (\frac {3}{\log (x)}\right )-\left (x^9+32 e^x \left (5 x^4-x^5\right ) \log (x)\right ) \log \left (\frac {3}{\log (x)}\right )\right )}{\log (x)}dx\) |
\(\Big \downarrow \) 7239 |
\(\displaystyle \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 ((x-5) \log (x) \log \left (\frac {3}{\log (x)}\right )+1\right )}{\log (x)}dx\) |
\(\Big \downarrow \) 7293 |
\(\displaystyle \frac {1}{128} \int \left (\frac {32 e^{-x} x^4 \left (x \log (x) \log \left (\frac {3}{\log (x)}\right )-5 \log (x) \log \left (\frac {3}{\log (x)}\right )+1\right )}{\log (x)}-\frac {e^{-2 x} x^9 \log \left (\frac {3}{\log (x)}\right ) \left (x \log (x) \log \left (\frac {3}{\log (x)}\right )-5 \log (x) \log \left (\frac {3}{\log (x)}\right )+1\right )}{\log (x)}\right )dx\) |
\(\Big \downarrow \) 2009 |
\(\displaystyle \frac {1}{128} \left (\frac {1}{2} e^{-2 x} x^{10} \log ^2\left (\frac {3}{\log (x)}\right )-32 e^{-x} x^5 \log \left (\frac {3}{\log (x)}\right )\right )\) |
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]
3.6.34.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl erIntegrandQ[v, u, x]]
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\) |
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)/exp(x)^2/ln(x),x,method=_RETURNVERBOSE)
Time = 0.27 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.48 \begin {dmath*} \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 )} \end {dmath*}
integrate(1/128*((-x^10+5*x^9)*log(x)*log(3/log(x))^2+((32*x^5-160*x^4)*ex p(x)*log(x)-x^9)*log(3/log(x))+32*exp(x)*x^4)/exp(x)^2/log(x),x, algorithm =\
Time = 49.16 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.39 \begin {dmath*} \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} \end {dmath*}
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*exp(x)*x**4)/exp(x)**2/ln(x),x)
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 \begin {dmath*} \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 ) \end {dmath*}
integrate(1/128*((-x^10+5*x^9)*log(x)*log(3/log(x))^2+((32*x^5-160*x^4)*ex p(x)*log(x)-x^9)*log(3/log(x))+32*exp(x)*x^4)/exp(x)^2/log(x),x, algorithm =\
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))
\begin {dmath*} \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 } \end {dmath*}
integrate(1/128*((-x^10+5*x^9)*log(x)*log(3/log(x))^2+((32*x^5-160*x^4)*ex p(x)*log(x)-x^9)*log(3/log(x))+32*exp(x)*x^4)/exp(x)^2/log(x),x, algorithm =\
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)
Timed out. \begin {dmath*} \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 \end {dmath*}
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)