Optimal. Leaf size=102 \[ -\text{PolyLog}\left (2,-e^x\right )-\frac{1}{2} \text{PolyLog}\left (2,\left (\frac{1}{2}-\frac{i}{2}\right ) \left (e^x+1\right )\right )-\frac{1}{2} \text{PolyLog}\left (2,\left (\frac{1}{2}+\frac{i}{2}\right ) \left (e^x+1\right )\right )-\frac{1}{2} \log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (-e^x+i\right )\right ) \log \left (e^x+1\right )-\frac{1}{2} \log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) \left (e^x+i\right )\right ) \log \left (e^x+1\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.146247, antiderivative size = 102, normalized size of antiderivative = 1., number of steps used = 12, number of rules used = 10, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.625, Rules used = {2282, 266, 36, 29, 31, 2416, 2391, 260, 2394, 2393} \[ -\text{PolyLog}\left (2,-e^x\right )-\frac{1}{2} \text{PolyLog}\left (2,\left (\frac{1}{2}-\frac{i}{2}\right ) \left (e^x+1\right )\right )-\frac{1}{2} \text{PolyLog}\left (2,\left (\frac{1}{2}+\frac{i}{2}\right ) \left (e^x+1\right )\right )-\frac{1}{2} \log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (-e^x+i\right )\right ) \log \left (e^x+1\right )-\frac{1}{2} \log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) \left (e^x+i\right )\right ) \log \left (e^x+1\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2282
Rule 266
Rule 36
Rule 29
Rule 31
Rule 2416
Rule 2391
Rule 260
Rule 2394
Rule 2393
Rubi steps
\begin{align*} \int \frac{\log \left (1+e^x\right )}{1+e^{2 x}} \, dx &=\operatorname{Subst}\left (\int \frac{\log (1+x)}{x \left (1+x^2\right )} \, dx,x,e^x\right )\\ &=\operatorname{Subst}\left (\int \left (\frac{\log (1+x)}{x}-\frac{x \log (1+x)}{1+x^2}\right ) \, dx,x,e^x\right )\\ &=\operatorname{Subst}\left (\int \frac{\log (1+x)}{x} \, dx,x,e^x\right )-\operatorname{Subst}\left (\int \frac{x \log (1+x)}{1+x^2} \, dx,x,e^x\right )\\ &=-\text{Li}_2\left (-e^x\right )-\operatorname{Subst}\left (\int \left (-\frac{\log (1+x)}{2 (i-x)}+\frac{\log (1+x)}{2 (i+x)}\right ) \, dx,x,e^x\right )\\ &=-\text{Li}_2\left (-e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\log (1+x)}{i-x} \, dx,x,e^x\right )-\frac{1}{2} \operatorname{Subst}\left (\int \frac{\log (1+x)}{i+x} \, dx,x,e^x\right )\\ &=-\frac{1}{2} \log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (i-e^x\right )\right ) \log \left (1+e^x\right )-\frac{1}{2} \log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) \left (i+e^x\right )\right ) \log \left (1+e^x\right )-\text{Li}_2\left (-e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) (i-x)\right )}{1+x} \, dx,x,e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) (i+x)\right )}{1+x} \, dx,x,e^x\right )\\ &=-\frac{1}{2} \log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (i-e^x\right )\right ) \log \left (1+e^x\right )-\frac{1}{2} \log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) \left (i+e^x\right )\right ) \log \left (1+e^x\right )-\text{Li}_2\left (-e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\log \left (1-\left (\frac{1}{2}+\frac{i}{2}\right ) x\right )}{x} \, dx,x,1+e^x\right )+\frac{1}{2} \operatorname{Subst}\left (\int \frac{\log \left (1-\left (\frac{1}{2}-\frac{i}{2}\right ) x\right )}{x} \, dx,x,1+e^x\right )\\ &=-\frac{1}{2} \log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (i-e^x\right )\right ) \log \left (1+e^x\right )-\frac{1}{2} \log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) \left (i+e^x\right )\right ) \log \left (1+e^x\right )-\text{Li}_2\left (-e^x\right )-\frac{1}{2} \text{Li}_2\left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (1+e^x\right )\right )-\frac{1}{2} \text{Li}_2\left (\left (\frac{1}{2}+\frac{i}{2}\right ) \left (1+e^x\right )\right )\\ \end{align*}
Mathematica [A] time = 0.0171325, size = 102, normalized size = 1. \[ -\text{PolyLog}\left (2,-e^x\right )-\frac{1}{2} \text{PolyLog}\left (2,\left (\frac{1}{2}-\frac{i}{2}\right ) \left (e^x+1\right )\right )-\frac{1}{2} \text{PolyLog}\left (2,\left (\frac{1}{2}+\frac{i}{2}\right ) \left (e^x+1\right )\right )-\frac{1}{2} \log \left (\left (\frac{1}{2}-\frac{i}{2}\right ) \left (-e^x+i\right )\right ) \log \left (e^x+1\right )-\frac{1}{2} \log \left (\left (-\frac{1}{2}-\frac{i}{2}\right ) \left (e^x+i\right )\right ) \log \left (e^x+1\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.028, size = 83, normalized size = 0.8 \begin{align*} -{\frac{\ln \left ( 1+{{\rm e}^{x}} \right ) }{2}\ln \left ({\frac{1}{2}}-{\frac{{{\rm e}^{x}}}{2}}+{\frac{i}{2}} \left ( 1+{{\rm e}^{x}} \right ) \right ) }-{\frac{\ln \left ( 1+{{\rm e}^{x}} \right ) }{2}\ln \left ({\frac{1}{2}}-{\frac{{{\rm e}^{x}}}{2}}-{\frac{i}{2}} \left ( 1+{{\rm e}^{x}} \right ) \right ) }-{\frac{1}{2}{\it dilog} \left ({\frac{1}{2}}-{\frac{{{\rm e}^{x}}}{2}}+{\frac{i}{2}} \left ( 1+{{\rm e}^{x}} \right ) \right ) }-{\frac{1}{2}{\it dilog} \left ({\frac{1}{2}}-{\frac{{{\rm e}^{x}}}{2}}-{\frac{i}{2}} \left ( 1+{{\rm e}^{x}} \right ) \right ) }-{\it dilog} \left ( 1+{{\rm e}^{x}} \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (e^{x} + 1\right )}{e^{\left (2 \, x\right )} + 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F] time = 0., size = 0, normalized size = 0. \begin{align*}{\rm integral}\left (\frac{\log \left (e^{x} + 1\right )}{e^{\left (2 \, x\right )} + 1}, x\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log{\left (e^{x} + 1 \right )}}{e^{2 x} + 1}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\log \left (e^{x} + 1\right )}{e^{\left (2 \, x\right )} + 1}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]