Optimal. Leaf size=26 \[ \frac {\log (5)}{\left (2+e^{2 x}\right ) \left (1+\frac {e^x}{2 x}\right )} \]
________________________________________________________________________________________
Rubi [F] time = 7.16, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {} \begin {gather*} \int \frac {e^{3 x} (2-6 x) \log (5)+e^x (4-4 x) \log (5)-8 e^{2 x} x^2 \log (5)}{e^{6 x}+16 e^x x+16 e^{3 x} x+4 e^{5 x} x+16 x^2+e^{4 x} \left (4+4 x^2\right )+e^{2 x} \left (4+16 x^2\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {2 e^x \left (-2 (-1+x)-4 e^x x^2-e^{2 x} (-1+3 x)\right ) \log (5)}{\left (2+e^{2 x}\right )^2 \left (e^x+2 x\right )^2} \, dx\\ &=(2 \log (5)) \int \frac {e^x \left (-2 (-1+x)-4 e^x x^2-e^{2 x} (-1+3 x)\right )}{\left (2+e^{2 x}\right )^2 \left (e^x+2 x\right )^2} \, dx\\ &=(2 \log (5)) \int \left (\frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2}-\frac {e^x (-1+x)}{2 \left (e^x+2 x\right )^2 \left (1+2 x^2\right )}-\frac {2 e^x x \left (1+e^x x\right )}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )}-\frac {e^x \left (1-x+2 e^x x-2 x^2-2 x^3\right )}{2 \left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}\right ) \, dx\\ &=-\left (\log (5) \int \frac {e^x (-1+x)}{\left (e^x+2 x\right )^2 \left (1+2 x^2\right )} \, dx\right )-\log (5) \int \frac {e^x \left (1-x+2 e^x x-2 x^2-2 x^3\right )}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx-(4 \log (5)) \int \frac {e^x x \left (1+e^x x\right )}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )} \, dx\\ &=-\left (\log (5) \int \left (\frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}-\frac {e^x x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}+\frac {2 e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}-\frac {2 e^x x^2}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}-\frac {2 e^x x^3}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}\right ) \, dx\right )-\log (5) \int \left (-\frac {e^x}{\left (e^x+2 x\right )^2 \left (1+2 x^2\right )}+\frac {e^x x}{\left (e^x+2 x\right )^2 \left (1+2 x^2\right )}\right ) \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx-(4 \log (5)) \int \left (\frac {e^x x}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )}+\frac {e^{2 x} x^2}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )}\right ) \, dx\\ &=-\left (\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx\right )+\log (5) \int \frac {e^x x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (1+2 x^2\right )} \, dx-\log (5) \int \frac {e^x x}{\left (e^x+2 x\right )^2 \left (1+2 x^2\right )} \, dx-(2 \log (5)) \int \frac {e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x^2}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x^3}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx-(4 \log (5)) \int \frac {e^x x}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )} \, dx-(4 \log (5)) \int \frac {e^{2 x} x^2}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )} \, dx\\ &=-\left (\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx\right )+\log (5) \int \frac {e^x x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+\log (5) \int \left (\frac {i e^x}{2 \left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )}+\frac {i e^x}{2 \left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )}\right ) \, dx-\log (5) \int \left (-\frac {e^x}{2 \sqrt {2} \left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )}+\frac {e^x}{2 \sqrt {2} \left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )}\right ) \, dx-(2 \log (5)) \int \frac {e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \left (-\frac {e^x}{2 \left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}+\frac {e^x}{2 \left (2+e^{2 x}\right ) \left (1+2 x^2\right )}\right ) \, dx+(2 \log (5)) \int \left (-\frac {e^x x}{2 \left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2}+\frac {e^x x}{2 \left (2+e^{2 x}\right ) \left (1+2 x^2\right )}\right ) \, dx-(4 \log (5)) \int \left (-\frac {e^x}{2 \sqrt {2} \left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )}+\frac {e^x}{2 \sqrt {2} \left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )}\right ) \, dx-(4 \log (5)) \int \left (\frac {e^{2 x}}{2 \left (2+e^{2 x}\right )^2}-\frac {e^{2 x}}{2 \left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )}\right ) \, dx\\ &=\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx-2 \left (\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx\right )+\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )} \, dx+\log (5) \int \frac {e^x x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )} \, dx-(2 \log (5)) \int \frac {e^{2 x}}{\left (2+e^{2 x}\right )^2} \, dx-(2 \log (5)) \int \frac {e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^{2 x}}{\left (2+e^{2 x}\right )^2 \left (1+2 x^2\right )} \, dx+\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}-\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}+\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )} \, dx-\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )} \, dx\\ &=\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx-2 \left (\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx\right )+\log (5) \int \left (\frac {i e^x}{2 \left (2+e^{2 x}\right ) \left (i-\sqrt {2} x\right )}+\frac {i e^x}{2 \left (2+e^{2 x}\right ) \left (i+\sqrt {2} x\right )}\right ) \, dx+\log (5) \int \left (-\frac {e^x}{2 \sqrt {2} \left (2+e^{2 x}\right ) \left (i-\sqrt {2} x\right )}+\frac {e^x}{2 \sqrt {2} \left (2+e^{2 x}\right ) \left (i+\sqrt {2} x\right )}\right ) \, dx-\log (5) \operatorname {Subst}\left (\int \frac {1}{(2+x)^2} \, dx,x,e^{2 x}\right )-(2 \log (5)) \int \frac {e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \left (\frac {i e^{2 x}}{2 \left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )}+\frac {i e^{2 x}}{2 \left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )}\right ) \, dx+\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}-\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}+\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )} \, dx-\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )} \, dx\\ &=\frac {\log (5)}{2+e^{2 x}}+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (i-\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (i+\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx+(i \log (5)) \int \frac {e^{2 x}}{\left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )} \, dx+(i \log (5)) \int \frac {e^{2 x}}{\left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )} \, dx-2 \left (\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx\right )-(2 \log (5)) \int \frac {e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx-\frac {\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (i-\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}+\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}+\frac {\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (i+\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}-\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}+\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )} \, dx-\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )} \, dx\\ &=\frac {\log (5)}{2+e^{2 x}}-\frac {i \log (5)}{2 \left (2+e^{2 x}\right ) \left (i-\sqrt {2} x\right )}-\frac {i \log (5)}{2 \left (2+e^{2 x}\right ) \left (i+\sqrt {2} x\right )}+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx+\frac {1}{2} (i \log (5)) \int \left (-\frac {1}{2 \left (i \sqrt {2}-e^x\right ) \left (i-\sqrt {2} x\right )}+\frac {1}{2 \left (i \sqrt {2}+e^x\right ) \left (i-\sqrt {2} x\right )}\right ) \, dx+\frac {1}{2} (i \log (5)) \int \left (-\frac {1}{2 \left (i \sqrt {2}-e^x\right ) \left (i+\sqrt {2} x\right )}+\frac {1}{2 \left (i \sqrt {2}+e^x\right ) \left (i+\sqrt {2} x\right )}\right ) \, dx-2 \left (\log (5) \int \frac {e^x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx\right )-(2 \log (5)) \int \frac {e^{2 x} x}{\left (2+e^{2 x}\right ) \left (1+2 x^2\right )^2} \, dx+(2 \log (5)) \int \frac {e^x x}{\left (e^x+2 x\right ) \left (1+2 x^2\right )^2} \, dx+\frac {(i \log (5)) \int \frac {1}{\left (2+e^{2 x}\right ) \left (i-\sqrt {2} x\right )^2} \, dx}{\sqrt {2}}-\frac {(i \log (5)) \int \frac {1}{\left (2+e^{2 x}\right ) \left (i+\sqrt {2} x\right )^2} \, dx}{\sqrt {2}}+\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i-\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}-\frac {\log (5) \int \frac {e^x}{\left (e^x+2 x\right )^2 \left (i+\sqrt {2} x\right )} \, dx}{2 \sqrt {2}}-\frac {\log (5) \int \left (-\frac {1}{2 \left (i \sqrt {2}-e^x\right ) \left (i-\sqrt {2} x\right )}+\frac {1}{2 \left (i \sqrt {2}+e^x\right ) \left (i-\sqrt {2} x\right )}\right ) \, dx}{2 \sqrt {2}}+\frac {\log (5) \int \left (-\frac {1}{2 \left (i \sqrt {2}-e^x\right ) \left (i+\sqrt {2} x\right )}+\frac {1}{2 \left (i \sqrt {2}+e^x\right ) \left (i+\sqrt {2} x\right )}\right ) \, dx}{2 \sqrt {2}}+\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i-\sqrt {2} x\right )} \, dx-\left (\sqrt {2} \log (5)\right ) \int \frac {e^x}{\left (2+e^{2 x}\right )^2 \left (i+\sqrt {2} x\right )} \, dx\\ &=\text {Rest of rules removed due to large latex content} \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 1.38, size = 23, normalized size = 0.88 \begin {gather*} \frac {2 x \log (5)}{\left (2+e^{2 x}\right ) \left (e^x+2 x\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.61, size = 26, normalized size = 1.00 \begin {gather*} \frac {2 \, x \log \relax (5)}{2 \, x e^{\left (2 \, x\right )} + 4 \, x + e^{\left (3 \, x\right )} + 2 \, e^{x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.71, size = 182, normalized size = 7.00 \begin {gather*} \frac {32 \, x^{5} \log \relax (5) + 4 \, x^{4} e^{x} \log \relax (5) + 2 \, x^{3} e^{\left (2 \, x\right )} \log \relax (5) - 4 \, x^{3} e^{x} \log \relax (5) + 40 \, x^{3} \log \relax (5) - 2 \, x^{2} e^{\left (2 \, x\right )} \log \relax (5) + 2 \, x^{2} e^{x} \log \relax (5) - 8 \, x^{2} \log \relax (5) - 3 \, x e^{\left (2 \, x\right )} \log \relax (5) - 2 \, x e^{x} \log \relax (5) + 4 \, x \log \relax (5) + e^{\left (2 \, x\right )} \log \relax (5)}{2 \, {\left (8 \, x^{5} e^{\left (2 \, x\right )} + 16 \, x^{5} + 4 \, x^{4} e^{\left (3 \, x\right )} + 8 \, x^{4} e^{x} + 8 \, x^{3} e^{\left (2 \, x\right )} + 16 \, x^{3} + 4 \, x^{2} e^{\left (3 \, x\right )} + 8 \, x^{2} e^{x} + 2 \, x e^{\left (2 \, x\right )} + 4 \, x + e^{\left (3 \, x\right )} + 2 \, e^{x}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.21, size = 22, normalized size = 0.85
method | result | size |
norman | \(\frac {2 x \ln \relax (5)}{\left (2+{\mathrm e}^{2 x}\right ) \left ({\mathrm e}^{x}+2 x \right )}\) | \(22\) |
risch | \(\frac {2 \ln \relax (5) x}{{\mathrm e}^{3 x}+2 x \,{\mathrm e}^{2 x}+2 \,{\mathrm e}^{x}+4 x}\) | \(27\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.50, size = 26, normalized size = 1.00 \begin {gather*} \frac {2 \, x \log \relax (5)}{2 \, x e^{\left (2 \, x\right )} + 4 \, x + e^{\left (3 \, x\right )} + 2 \, e^{x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 3.33, size = 26, normalized size = 1.00 \begin {gather*} \frac {2\,x\,\ln \relax (5)}{4\,x+{\mathrm {e}}^{3\,x}+2\,{\mathrm {e}}^x+2\,x\,{\mathrm {e}}^{2\,x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.18, size = 27, normalized size = 1.04 \begin {gather*} \frac {2 x \log {\relax (5 )}}{2 x e^{2 x} + 4 x + e^{3 x} + 2 e^{x}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________