Integrand size = 125, antiderivative size = 24 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x+x^2 \left (1+e^x-x+\log \left (\frac {x}{1+x}\right )\right )^2 \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(149\) vs. \(2(24)=48\).
Time = 1.04 (sec) , antiderivative size = 149, normalized size of antiderivative = 6.21, number of steps used = 58, number of rules used = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.120, Rules used = {6874, 45, 2227, 2207, 2225, 2561, 2384, 2353, 2352, 2549, 2381, 6820, 2230, 2209, 2634} \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x^4-2 e^x x^3-2 x^3-2 x^3 \log \left (\frac {x}{x+1}\right )+2 e^x x^2+e^{2 x} x^2+x^2 \log ^2\left (\frac {x}{x+1}\right )+2 e^x x^2 \log \left (\frac {x}{x+1}\right )-x^2 \log \left (\frac {x}{x+1}\right )+x^2 \left (3 \log \left (\frac {x}{x+1}\right )+1\right )+5 x+4 x \log \left (\frac {x}{x+1}\right )+x \left (2 \log \left (\frac {x}{x+1}\right )+1\right )-x \left (6 \log \left (\frac {x}{x+1}\right )+5\right ) \]
[In]
[Out]
Rule 45
Rule 2207
Rule 2209
Rule 2225
Rule 2227
Rule 2230
Rule 2352
Rule 2353
Rule 2381
Rule 2384
Rule 2549
Rule 2561
Rule 2634
Rule 6820
Rule 6874
Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {1}{1+x}+\frac {5 x}{1+x}-\frac {6 x^2}{1+x}-\frac {2 x^3}{1+x}+\frac {4 x^4}{1+x}+2 e^{2 x} x (1+x)+\frac {6 x \log \left (\frac {x}{1+x}\right )}{1+x}-\frac {2 x^2 \log \left (\frac {x}{1+x}\right )}{1+x}-\frac {6 x^3 \log \left (\frac {x}{1+x}\right )}{1+x}+2 x \log ^2\left (\frac {x}{1+x}\right )-\frac {2 e^x x \left (-3+3 x^2+x^3-2 \log \left (\frac {x}{1+x}\right )-3 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )\right )}{1+x}\right ) \, dx \\ & = \log (1+x)-2 \int \frac {x^3}{1+x} \, dx+2 \int e^{2 x} x (1+x) \, dx-2 \int \frac {x^2 \log \left (\frac {x}{1+x}\right )}{1+x} \, dx+2 \int x \log ^2\left (\frac {x}{1+x}\right ) \, dx-2 \int \frac {e^x x \left (-3+3 x^2+x^3-2 \log \left (\frac {x}{1+x}\right )-3 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )\right )}{1+x} \, dx+4 \int \frac {x^4}{1+x} \, dx+5 \int \frac {x}{1+x} \, dx-6 \int \frac {x^2}{1+x} \, dx+6 \int \frac {x \log \left (\frac {x}{1+x}\right )}{1+x} \, dx-6 \int \frac {x^3 \log \left (\frac {x}{1+x}\right )}{1+x} \, dx \\ & = \log (1+x)-2 \int \left (1+\frac {1}{-1-x}-x+x^2\right ) \, dx+2 \int \left (e^{2 x} x+e^{2 x} x^2\right ) \, dx-2 \int \frac {e^x x \left (-3+3 x^2+x^3-\left (2+3 x+x^2\right ) \log \left (\frac {x}{1+x}\right )\right )}{1+x} \, dx-2 \text {Subst}\left (\int \frac {x^2 \log (x)}{(1-x)^3} \, dx,x,\frac {x}{1+x}\right )+2 \text {Subst}\left (\int \frac {x \log ^2(x)}{(1-x)^3} \, dx,x,\frac {x}{1+x}\right )+4 \int \left (-1+x-x^2+x^3+\frac {1}{1+x}\right ) \, dx+5 \int \left (1+\frac {1}{-1-x}\right ) \, dx-6 \int \left (-1+x+\frac {1}{1+x}\right ) \, dx+6 \text {Subst}\left (\int \frac {x \log (x)}{(1-x)^2} \, dx,x,\frac {x}{1+x}\right )-6 \text {Subst}\left (\int \frac {x^3 \log (x)}{(1-x)^4} \, dx,x,\frac {x}{1+x}\right ) \\ & = 5 x-2 x^3+x^4+6 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )-4 \log (1+x)+2 \int e^{2 x} x \, dx+2 \int e^{2 x} x^2 \, dx-2 \int \left (\frac {e^x x \left (-3+3 x^2+x^3\right )}{1+x}-e^x x (2+x) \log \left (\frac {x}{1+x}\right )\right ) \, dx-2 \text {Subst}\left (\int \frac {x \log (x)}{(1-x)^2} \, dx,x,\frac {x}{1+x}\right )+2 \text {Subst}\left (\int \frac {x^2 (1+3 \log (x))}{(1-x)^3} \, dx,x,\frac {x}{1+x}\right )-6 \text {Subst}\left (\int \frac {1+\log (x)}{1-x} \, dx,x,\frac {x}{1+x}\right )+\text {Subst}\left (\int \frac {x (1+2 \log (x))}{(1-x)^2} \, dx,x,\frac {x}{1+x}\right ) \\ & = 5 x+e^{2 x} x+e^{2 x} x^2-2 x^3+x^4+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-10 \log (1+x)-2 \int e^{2 x} x \, dx-2 \int \frac {e^x x \left (-3+3 x^2+x^3\right )}{1+x} \, dx+2 \int e^x x (2+x) \log \left (\frac {x}{1+x}\right ) \, dx+2 \text {Subst}\left (\int \frac {1+\log (x)}{1-x} \, dx,x,\frac {x}{1+x}\right )-6 \text {Subst}\left (\int \frac {\log (x)}{1-x} \, dx,x,\frac {x}{1+x}\right )-\int e^{2 x} \, dx-\text {Subst}\left (\int \frac {3+2 \log (x)}{1-x} \, dx,x,\frac {x}{1+x}\right )-\text {Subst}\left (\int \frac {x (5+6 \log (x))}{(1-x)^2} \, dx,x,\frac {x}{1+x}\right ) \\ & = -\frac {e^{2 x}}{2}+5 x+e^{2 x} x^2-2 x^3+x^4+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )+2 e^x x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-x \left (5+6 \log \left (\frac {x}{1+x}\right )\right )-11 \log (1+x)-6 \operatorname {PolyLog}\left (2,\frac {1}{1+x}\right )-2 \int \frac {e^x x}{1+x} \, dx-2 \int \left (-e^x-2 e^x x+2 e^x x^2+e^x x^3+\frac {e^x}{1+x}\right ) \, dx+\int e^{2 x} \, dx+\text {Subst}\left (\int \frac {11+6 \log (x)}{1-x} \, dx,x,\frac {x}{1+x}\right ) \\ & = 5 x+e^{2 x} x^2-2 x^3+x^4+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )+2 e^x x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-x \left (5+6 \log \left (\frac {x}{1+x}\right )\right )-6 \operatorname {PolyLog}\left (2,\frac {1}{1+x}\right )+2 \int e^x \, dx-2 \int \left (e^x+\frac {e^x}{-1-x}\right ) \, dx-2 \int e^x x^3 \, dx-2 \int \frac {e^x}{1+x} \, dx+4 \int e^x x \, dx-4 \int e^x x^2 \, dx+6 \text {Subst}\left (\int \frac {\log (x)}{1-x} \, dx,x,\frac {x}{1+x}\right ) \\ & = 2 e^x+5 x+4 e^x x-4 e^x x^2+e^{2 x} x^2-2 x^3-2 e^x x^3+x^4-\frac {2 \operatorname {ExpIntegralEi}(1+x)}{e}+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )+2 e^x x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-x \left (5+6 \log \left (\frac {x}{1+x}\right )\right )-2 \int e^x \, dx-2 \int \frac {e^x}{-1-x} \, dx-4 \int e^x \, dx+6 \int e^x x^2 \, dx+8 \int e^x x \, dx \\ & = -4 e^x+5 x+12 e^x x+2 e^x x^2+e^{2 x} x^2-2 x^3-2 e^x x^3+x^4+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )+2 e^x x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-x \left (5+6 \log \left (\frac {x}{1+x}\right )\right )-8 \int e^x \, dx-12 \int e^x x \, dx \\ & = -12 e^x+5 x+2 e^x x^2+e^{2 x} x^2-2 x^3-2 e^x x^3+x^4+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )+2 e^x x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-x \left (5+6 \log \left (\frac {x}{1+x}\right )\right )+12 \int e^x \, dx \\ & = 5 x+2 e^x x^2+e^{2 x} x^2-2 x^3-2 e^x x^3+x^4+4 x \log \left (\frac {x}{1+x}\right )-x^2 \log \left (\frac {x}{1+x}\right )+2 e^x x^2 \log \left (\frac {x}{1+x}\right )-2 x^3 \log \left (\frac {x}{1+x}\right )+x^2 \log ^2\left (\frac {x}{1+x}\right )+x \left (1+2 \log \left (\frac {x}{1+x}\right )\right )+x^2 \left (1+3 \log \left (\frac {x}{1+x}\right )\right )-x \left (5+6 \log \left (\frac {x}{1+x}\right )\right ) \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(57\) vs. \(2(24)=48\).
Time = 0.11 (sec) , antiderivative size = 57, normalized size of antiderivative = 2.38 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x \left (1+\left (1+e^x\right )^2 x-2 \left (1+e^x\right ) x^2+x^3-2 x \left (-1-e^x+x\right ) \log \left (\frac {x}{1+x}\right )+x \log ^2\left (\frac {x}{1+x}\right )\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(91\) vs. \(2(23)=46\).
Time = 0.33 (sec) , antiderivative size = 92, normalized size of antiderivative = 3.83
method | result | size |
parallelrisch | \(x^{4}-2 \,{\mathrm e}^{x} x^{3}-2 x^{3} \ln \left (\frac {x}{1+x}\right )+{\mathrm e}^{2 x} x^{2}+2 \,{\mathrm e}^{x} \ln \left (\frac {x}{1+x}\right ) x^{2}+\ln \left (\frac {x}{1+x}\right )^{2} x^{2}-2 x^{3}+2 \,{\mathrm e}^{x} x^{2}+2 x^{2} \ln \left (\frac {x}{1+x}\right )-\frac {1}{2}+x^{2}+x\) | \(92\) |
risch | \(\text {Expression too large to display}\) | \(909\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 74 vs. \(2 (25) = 50\).
Time = 0.24 (sec) , antiderivative size = 74, normalized size of antiderivative = 3.08 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x^{4} + x^{2} \log \left (\frac {x}{x + 1}\right )^{2} - 2 \, x^{3} + x^{2} e^{\left (2 \, x\right )} + x^{2} - 2 \, {\left (x^{3} - x^{2}\right )} e^{x} - 2 \, {\left (x^{3} - x^{2} e^{x} - x^{2}\right )} \log \left (\frac {x}{x + 1}\right ) + x \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 75 vs. \(2 (19) = 38\).
Time = 0.20 (sec) , antiderivative size = 75, normalized size of antiderivative = 3.12 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x^{4} - 2 x^{3} + x^{2} e^{2 x} + x^{2} \log {\left (\frac {x}{x + 1} \right )}^{2} + x^{2} + x + \left (- 2 x^{3} + 2 x^{2}\right ) \log {\left (\frac {x}{x + 1} \right )} + \left (- 2 x^{3} + 2 x^{2} \log {\left (\frac {x}{x + 1} \right )} + 2 x^{2}\right ) e^{x} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 108 vs. \(2 (25) = 50\).
Time = 0.23 (sec) , antiderivative size = 108, normalized size of antiderivative = 4.50 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x^{4} + x^{2} \log \left (x + 1\right )^{2} + x^{2} \log \left (x\right )^{2} - 2 \, x^{3} + x^{2} e^{\left (2 \, x\right )} + x^{2} - 2 \, {\left (x^{3} - x^{2} \log \left (x\right ) - x^{2}\right )} e^{x} + 2 \, {\left (x^{3} - x^{2} e^{x} - x^{2} \log \left (x\right ) - x^{2} + 2\right )} \log \left (x + 1\right ) - 2 \, {\left (x^{3} - x^{2}\right )} \log \left (x\right ) + x - 4 \, \log \left (x + 1\right ) \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 90 vs. \(2 (25) = 50\).
Time = 0.33 (sec) , antiderivative size = 90, normalized size of antiderivative = 3.75 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x^{4} - 2 \, x^{3} e^{x} - 2 \, x^{3} \log \left (\frac {x}{x + 1}\right ) + 2 \, x^{2} e^{x} \log \left (\frac {x}{x + 1}\right ) + x^{2} \log \left (\frac {x}{x + 1}\right )^{2} - 2 \, x^{3} + x^{2} e^{\left (2 \, x\right )} + 2 \, x^{2} e^{x} + 2 \, x^{2} \log \left (\frac {x}{x + 1}\right ) + x^{2} + x \]
[In]
[Out]
Time = 13.02 (sec) , antiderivative size = 76, normalized size of antiderivative = 3.17 \[ \int \frac {1+5 x-6 x^2-2 x^3+4 x^4+e^{2 x} \left (2 x+4 x^2+2 x^3\right )+e^x \left (6 x-6 x^3-2 x^4\right )+\left (6 x-2 x^2-6 x^3+e^x \left (4 x+6 x^2+2 x^3\right )\right ) \log \left (\frac {x}{1+x}\right )+\left (2 x+2 x^2\right ) \log ^2\left (\frac {x}{1+x}\right )}{1+x} \, dx=x+{\mathrm {e}}^x\,\left (2\,x^2-2\,x^3\right )+x^2\,{\ln \left (\frac {x}{x+1}\right )}^2+x^2\,{\mathrm {e}}^{2\,x}+\ln \left (\frac {x}{x+1}\right )\,\left (2\,x^2\,{\mathrm {e}}^x+2\,x^2-2\,x^3\right )+x^2-2\,x^3+x^4 \]
[In]
[Out]