Integrand size = 37, antiderivative size = 16 \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=6+e^{e^{3+x}} \log ^8(4+x) \]
[Out]
Time = 0.07 (sec) , antiderivative size = 14, normalized size of antiderivative = 0.88, number of steps used = 1, number of rules used = 1, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.027, Rules used = {2326} \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=e^{e^{x+3}} \log ^8(x+4) \]
[In]
[Out]
Rule 2326
Rubi steps \begin{align*} \text {integral}& = e^{e^{3+x}} \log ^8(4+x) \\ \end{align*}
Time = 0.03 (sec) , antiderivative size = 14, normalized size of antiderivative = 0.88 \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=e^{e^{3+x}} \log ^8(4+x) \]
[In]
[Out]
Time = 1.92 (sec) , antiderivative size = 13, normalized size of antiderivative = 0.81
method | result | size |
risch | \(\ln \left (4+x \right )^{8} {\mathrm e}^{{\mathrm e}^{3+x}}\) | \(13\) |
parallelrisch | \(\ln \left (4+x \right )^{8} {\mathrm e}^{{\mathrm e}^{3+x}}\) | \(13\) |
[In]
[Out]
none
Time = 0.39 (sec) , antiderivative size = 12, normalized size of antiderivative = 0.75 \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=e^{\left (e^{\left (x + 3\right )}\right )} \log \left (x + 4\right )^{8} \]
[In]
[Out]
Timed out. \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=\text {Timed out} \]
[In]
[Out]
none
Time = 0.25 (sec) , antiderivative size = 12, normalized size of antiderivative = 0.75 \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=e^{\left (e^{\left (x + 3\right )}\right )} \log \left (x + 4\right )^{8} \]
[In]
[Out]
none
Time = 0.35 (sec) , antiderivative size = 12, normalized size of antiderivative = 0.75 \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=e^{\left (e^{\left (x + 3\right )}\right )} \log \left (x + 4\right )^{8} \]
[In]
[Out]
Timed out. \[ \int \frac {e^{e^{3+x}} \left (8 \log ^7(4+x)+e^{3+x} (4+x) \log ^8(4+x)\right )}{4+x} \, dx=\int \frac {{\mathrm {e}}^{{\mathrm {e}}^{x+3}}\,\left ({\mathrm {e}}^{x+3}\,\left (x+4\right )\,{\ln \left (x+4\right )}^8+8\,{\ln \left (x+4\right )}^7\right )}{x+4} \,d x \]
[In]
[Out]