Integrand size = 31, antiderivative size = 18 \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5}{16} e^{-8-4 x} x^4 \log ^4(x) \]
[Out]
Time = 0.15 (sec) , antiderivative size = 18, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.097, Rules used = {12, 6873, 2326} \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5}{16} e^{-4 x-8} x^4 \log ^4(x) \]
[In]
[Out]
Rule 12
Rule 2326
Rule 6873
Rubi steps \begin{align*} \text {integral}& = \frac {1}{4} \int e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx \\ & = \frac {1}{4} \int 5 e^{-8-4 x} x^3 \log ^3(x) (1+\log (x)-x \log (x)) \, dx \\ & = \frac {5}{4} \int e^{-8-4 x} x^3 \log ^3(x) (1+\log (x)-x \log (x)) \, dx \\ & = \frac {5}{16} e^{-8-4 x} x^4 \log ^4(x) \\ \end{align*}
Time = 0.07 (sec) , antiderivative size = 18, normalized size of antiderivative = 1.00 \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5}{16} e^{-8-4 x} x^4 \log ^4(x) \]
[In]
[Out]
Time = 0.12 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.89
method | result | size |
risch | \(\frac {5 \ln \left (x \right )^{4} x^{4} {\mathrm e}^{-4 x -8}}{16}\) | \(16\) |
parallelrisch | \(\frac {5 \ln \left (x \right )^{4} x^{4} {\mathrm e}^{-4 x -8}}{16}\) | \(17\) |
[In]
[Out]
none
Time = 0.31 (sec) , antiderivative size = 16, normalized size of antiderivative = 0.89 \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5}{16} \, e^{\left (-4 \, x + 4 \, \log \left (x\right ) - 8\right )} \log \left (x\right )^{4} \]
[In]
[Out]
Time = 0.14 (sec) , antiderivative size = 19, normalized size of antiderivative = 1.06 \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5 x^{4} e^{- 4 x - 8} \log {\left (x \right )}^{4}}{16} \]
[In]
[Out]
none
Time = 0.41 (sec) , antiderivative size = 15, normalized size of antiderivative = 0.83 \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5}{16} \, x^{4} e^{\left (-4 \, x - 8\right )} \log \left (x\right )^{4} \]
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 15, normalized size of antiderivative = 0.83 \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\frac {5}{16} \, x^{4} e^{\left (-4 \, x - 8\right )} \log \left (x\right )^{4} \]
[In]
[Out]
Timed out. \[ \int \frac {1}{4} e^{-8-4 x} x^3 \left (5 \log ^3(x)+(5-5 x) \log ^4(x)\right ) \, dx=\int \frac {{\mathrm {e}}^{4\,\ln \left (x\right )-4\,x-8}\,\left (5\,{\ln \left (x\right )}^3-{\ln \left (x\right )}^4\,\left (5\,x-5\right )\right )}{4\,x} \,d x \]
[In]
[Out]