Optimal. Leaf size=25 \[ x \left (-3+\log \left (x^4 \left (-4-\frac {3}{2 \left (2+e^x+x\right )}\right )^2\right )\right ) \]
________________________________________________________________________________________
Rubi [A] time = 1.52, antiderivative size = 34, normalized size of antiderivative = 1.36, number of steps used = 15, number of rules used = 4, integrand size = 153, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.026, Rules used = {6688, 6742, 2548, 12} \begin {gather*} x \log \left (\frac {x^4 \left (8 x+8 e^x+19\right )^2}{4 \left (x+e^x+2\right )^2}\right )-3 x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 2548
Rule 6688
Rule 6742
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {38+8 e^{2 x}+29 x+8 x^2+5 e^x (7+2 x)+\left (38+8 e^{2 x}+35 x+8 x^2+e^x (35+16 x)\right ) \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )}{38+8 e^{2 x}+35 x+8 x^2+e^x (35+16 x)} \, dx\\ &=\int \left (1+\frac {2 x (1+x)}{2+e^x+x}-\frac {2 x (11+8 x)}{19+8 e^x+8 x}+\log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )\right ) \, dx\\ &=x+2 \int \frac {x (1+x)}{2+e^x+x} \, dx-2 \int \frac {x (11+8 x)}{19+8 e^x+8 x} \, dx+\int \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right ) \, dx\\ &=x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )+2 \int \left (\frac {x}{2+e^x+x}+\frac {x^2}{2+e^x+x}\right ) \, dx-2 \int \left (\frac {11 x}{19+8 e^x+8 x}+\frac {8 x^2}{19+8 e^x+8 x}\right ) \, dx-\int \frac {2 \left (76+16 e^{2 x}+67 x+16 x^2+e^x (70+29 x)\right )}{\left (2+e^x+x\right ) \left (19+8 e^x+8 x\right )} \, dx\\ &=x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )+2 \int \frac {x}{2+e^x+x} \, dx+2 \int \frac {x^2}{2+e^x+x} \, dx-2 \int \frac {76+16 e^{2 x}+67 x+16 x^2+e^x (70+29 x)}{\left (2+e^x+x\right ) \left (19+8 e^x+8 x\right )} \, dx-16 \int \frac {x^2}{19+8 e^x+8 x} \, dx-22 \int \frac {x}{19+8 e^x+8 x} \, dx\\ &=x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )+2 \int \frac {x}{2+e^x+x} \, dx+2 \int \frac {x^2}{2+e^x+x} \, dx-2 \int \left (2+\frac {x (1+x)}{2+e^x+x}-\frac {x (11+8 x)}{19+8 e^x+8 x}\right ) \, dx-16 \int \frac {x^2}{19+8 e^x+8 x} \, dx-22 \int \frac {x}{19+8 e^x+8 x} \, dx\\ &=-3 x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )+2 \int \frac {x}{2+e^x+x} \, dx+2 \int \frac {x^2}{2+e^x+x} \, dx-2 \int \frac {x (1+x)}{2+e^x+x} \, dx+2 \int \frac {x (11+8 x)}{19+8 e^x+8 x} \, dx-16 \int \frac {x^2}{19+8 e^x+8 x} \, dx-22 \int \frac {x}{19+8 e^x+8 x} \, dx\\ &=-3 x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )+2 \int \frac {x}{2+e^x+x} \, dx+2 \int \frac {x^2}{2+e^x+x} \, dx-2 \int \left (\frac {x}{2+e^x+x}+\frac {x^2}{2+e^x+x}\right ) \, dx+2 \int \left (\frac {11 x}{19+8 e^x+8 x}+\frac {8 x^2}{19+8 e^x+8 x}\right ) \, dx-16 \int \frac {x^2}{19+8 e^x+8 x} \, dx-22 \int \frac {x}{19+8 e^x+8 x} \, dx\\ &=-3 x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right )\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 3.36, size = 34, normalized size = 1.36 \begin {gather*} -3 x+x \log \left (\frac {x^4 \left (19+8 e^x+8 x\right )^2}{4 \left (2+e^x+x\right )^2}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.49, size = 70, normalized size = 2.80 \begin {gather*} x \log \left (\frac {64 \, x^{6} + 304 \, x^{5} + 64 \, x^{4} e^{\left (2 \, x\right )} + 361 \, x^{4} + 16 \, {\left (8 \, x^{5} + 19 \, x^{4}\right )} e^{x}}{4 \, {\left (x^{2} + 2 \, {\left (x + 2\right )} e^{x} + 4 \, x + e^{\left (2 \, x\right )} + 4\right )}}\right ) - 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 7.08, size = 71, normalized size = 2.84 \begin {gather*} x \log \left (\frac {64 \, x^{6} + 128 \, x^{5} e^{x} + 304 \, x^{5} + 64 \, x^{4} e^{\left (2 \, x\right )} + 304 \, x^{4} e^{x} + 361 \, x^{4}}{4 \, {\left (x^{2} + 2 \, x e^{x} + 4 \, x + e^{\left (2 \, x\right )} + 4 \, e^{x} + 4\right )}}\right ) - 3 \, x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.41, size = 74, normalized size = 2.96
method | result | size |
norman | \(x \ln \left (\frac {64 \,{\mathrm e}^{2 x} x^{4}+\left (128 x^{5}+304 x^{4}\right ) {\mathrm e}^{x}+64 x^{6}+304 x^{5}+361 x^{4}}{4 \,{\mathrm e}^{2 x}+\left (8 x +16\right ) {\mathrm e}^{x}+4 x^{2}+16 x +16}\right )-3 x\) | \(74\) |
risch | \(-3 x +4 x \ln \relax (2)+4 x \ln \relax (x )-2 x \ln \left ({\mathrm e}^{x}+2+x \right )+2 x \ln \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )-\frac {i \pi x \mathrm {csgn}\left (\frac {i x^{4} \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )^{3}}{2}-\frac {i \pi x \mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}\right )^{3}}{2}+\frac {i \pi x \mathrm {csgn}\left (i \left ({\mathrm e}^{x}+2+x \right )^{2}\right )^{3}}{2}-\frac {i \pi x \mathrm {csgn}\left (\frac {i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )^{3}}{2}-\frac {i \pi x \mathrm {csgn}\left (i x^{2}\right )^{3}}{2}-\frac {i \pi x \mathrm {csgn}\left (i x^{3}\right )^{3}}{2}-\frac {i \pi x \mathrm {csgn}\left (i x^{4}\right )^{3}}{2}-\frac {i \pi x \,\mathrm {csgn}\left (i x^{4}\right ) \mathrm {csgn}\left (\frac {i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right ) \mathrm {csgn}\left (\frac {i x^{4} \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )}{2}-\frac {i \pi x \,\mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}\right ) \mathrm {csgn}\left (\frac {i}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right ) \mathrm {csgn}\left (\frac {i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )}{2}-\frac {i \pi x \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{3}\right )}{2}-\frac {i \pi x \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{3}\right ) \mathrm {csgn}\left (i x^{4}\right )}{2}+\frac {i \pi x \,\mathrm {csgn}\left (i x^{3}\right ) \mathrm {csgn}\left (i x^{4}\right )^{2}}{2}+\frac {i \pi x \,\mathrm {csgn}\left (i x^{4}\right ) \mathrm {csgn}\left (\frac {i x^{4} \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )^{2}}{2}+\frac {i \pi x \,\mathrm {csgn}\left (\frac {i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right ) \mathrm {csgn}\left (\frac {i x^{4} \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )^{2}}{2}+i \pi x \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{2}\right )^{2}+i \pi x \,\mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )\right ) \mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}\right )^{2}+\frac {i \pi x \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{3}\right )^{2}}{2}+\frac {i \pi x \,\mathrm {csgn}\left (i x^{2}\right ) \mathrm {csgn}\left (i x^{3}\right )^{2}}{2}+\frac {i \pi x \,\mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}\right ) \mathrm {csgn}\left (\frac {i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )^{2}}{2}+\frac {i \pi x \,\mathrm {csgn}\left (\frac {i}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right ) \mathrm {csgn}\left (\frac {i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}}{\left ({\mathrm e}^{x}+2+x \right )^{2}}\right )^{2}}{2}-\frac {i \pi x \mathrm {csgn}\left (i x \right )^{2} \mathrm {csgn}\left (i x^{2}\right )}{2}+\frac {i \pi x \mathrm {csgn}\left (i \left ({\mathrm e}^{x}+2+x \right )\right )^{2} \mathrm {csgn}\left (i \left ({\mathrm e}^{x}+2+x \right )^{2}\right )}{2}-i \pi x \,\mathrm {csgn}\left (i \left ({\mathrm e}^{x}+2+x \right )\right ) \mathrm {csgn}\left (i \left ({\mathrm e}^{x}+2+x \right )^{2}\right )^{2}-\frac {i \pi x \mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )\right )^{2} \mathrm {csgn}\left (i \left (x +{\mathrm e}^{x}+\frac {19}{8}\right )^{2}\right )}{2}+\frac {i \pi x \,\mathrm {csgn}\left (i x \right ) \mathrm {csgn}\left (i x^{4}\right )^{2}}{2}\) | \(687\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.79, size = 37, normalized size = 1.48 \begin {gather*} -x {\left (2 \, \log \relax (2) + 3\right )} + 2 \, x \log \left (8 \, x + 8 \, e^{x} + 19\right ) - 2 \, x \log \left (x + e^{x} + 2\right ) + 4 \, x \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.27, size = 71, normalized size = 2.84 \begin {gather*} x\,\left (\ln \left (\frac {{\mathrm {e}}^x\,\left (128\,x^5+304\,x^4\right )+64\,x^4\,{\mathrm {e}}^{2\,x}+361\,x^4+304\,x^5+64\,x^6}{16\,x+4\,{\mathrm {e}}^{2\,x}+{\mathrm {e}}^x\,\left (8\,x+16\right )+4\,x^2+16}\right )-3\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 0.70, size = 70, normalized size = 2.80 \begin {gather*} x \log {\left (\frac {64 x^{6} + 304 x^{5} + 64 x^{4} e^{2 x} + 361 x^{4} + \left (128 x^{5} + 304 x^{4}\right ) e^{x}}{4 x^{2} + 16 x + \left (8 x + 16\right ) e^{x} + 4 e^{2 x} + 16} \right )} - 3 x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________