Integrand size = 12, antiderivative size = 25 \[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\frac {1}{4} \operatorname {PolyLog}\left (2,-\frac {1}{1+x}\right )-\frac {1}{4} \operatorname {PolyLog}\left (2,\frac {1}{1+x}\right ) \]
[Out]
Time = 0.02 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {6243, 12, 6032} \[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\frac {1}{4} \operatorname {PolyLog}\left (2,-\frac {1}{x+1}\right )-\frac {1}{4} \operatorname {PolyLog}\left (2,\frac {1}{x+1}\right ) \]
[In]
[Out]
Rule 12
Rule 6032
Rule 6243
Rubi steps \begin{align*} \text {integral}& = \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{2 x} \, dx,x,1+x\right ) \\ & = \frac {1}{2} \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{x} \, dx,x,1+x\right ) \\ & = \frac {1}{4} \operatorname {PolyLog}\left (2,-\frac {1}{1+x}\right )-\frac {1}{4} \operatorname {PolyLog}\left (2,\frac {1}{1+x}\right ) \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(117\) vs. \(2(25)=50\).
Time = 0.01 (sec) , antiderivative size = 117, normalized size of antiderivative = 4.68 \[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\frac {1}{8} \log ^2\left (-\frac {1}{1+x}\right )-\frac {1}{4} \log (-x) \log \left (\frac {1}{1+x}\right )-\frac {1}{8} \log ^2\left (\frac {1}{1+x}\right )+\frac {1}{4} \log \left (\frac {1}{1+x}\right ) \log \left (\frac {x}{1+x}\right )+\frac {1}{4} \log \left (-\frac {1}{1+x}\right ) \log (2+x)-\frac {1}{4} \log \left (-\frac {1}{1+x}\right ) \log \left (\frac {2+x}{1+x}\right )-\frac {\operatorname {PolyLog}(2,-1-x)}{4}+\frac {\operatorname {PolyLog}(2,1+x)}{4} \]
[In]
[Out]
Time = 0.36 (sec) , antiderivative size = 22, normalized size of antiderivative = 0.88
method | result | size |
risch | \(-\frac {\operatorname {dilog}\left (1+x \right )}{4}-\frac {\ln \left (x \right ) \ln \left (1+x \right )}{4}-\frac {\operatorname {dilog}\left (x +2\right )}{4}\) | \(22\) |
derivativedivides | \(\frac {\ln \left (1+x \right ) \operatorname {arccoth}\left (1+x \right )}{2}-\frac {\operatorname {dilog}\left (x +2\right )}{4}-\frac {\ln \left (1+x \right ) \ln \left (x +2\right )}{4}-\frac {\operatorname {dilog}\left (1+x \right )}{4}\) | \(34\) |
default | \(\frac {\ln \left (1+x \right ) \operatorname {arccoth}\left (1+x \right )}{2}-\frac {\operatorname {dilog}\left (x +2\right )}{4}-\frac {\ln \left (1+x \right ) \ln \left (x +2\right )}{4}-\frac {\operatorname {dilog}\left (1+x \right )}{4}\) | \(34\) |
parts | \(\frac {\ln \left (1+x \right ) \operatorname {arccoth}\left (1+x \right )}{2}-\frac {\operatorname {dilog}\left (x +2\right )}{4}-\frac {\ln \left (1+x \right ) \ln \left (x +2\right )}{4}-\frac {\operatorname {dilog}\left (1+x \right )}{4}\) | \(34\) |
[In]
[Out]
\[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\int { \frac {\operatorname {arcoth}\left (x + 1\right )}{2 \, {\left (x + 1\right )}} \,d x } \]
[In]
[Out]
\[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\frac {\int \frac {\operatorname {acoth}{\left (x + 1 \right )}}{x + 1}\, dx}{2} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 58 vs. \(2 (19) = 38\).
Time = 0.19 (sec) , antiderivative size = 58, normalized size of antiderivative = 2.32 \[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=-\frac {1}{4} \, {\left (\log \left (x + 2\right ) - \log \left (x\right )\right )} \log \left (x + 1\right ) + \frac {1}{2} \, \operatorname {arcoth}\left (x + 1\right ) \log \left (x + 1\right ) - \frac {1}{4} \, \log \left (x + 1\right ) \log \left (x\right ) + \frac {1}{4} \, \log \left (x + 2\right ) \log \left (-x - 1\right ) - \frac {1}{4} \, {\rm Li}_2\left (-x\right ) + \frac {1}{4} \, {\rm Li}_2\left (x + 2\right ) \]
[In]
[Out]
\[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\int { \frac {\operatorname {arcoth}\left (x + 1\right )}{2 \, {\left (x + 1\right )}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\coth ^{-1}(1+x)}{2+2 x} \, dx=\int \frac {\mathrm {acoth}\left (x+1\right )}{2\,x+2} \,d x \]
[In]
[Out]