Integrand size = 7, antiderivative size = 77 \[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\frac {1}{3} x^3 \coth ^{-1}(\cosh (x))-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-x^2 \operatorname {PolyLog}\left (2,-e^x\right )+x^2 \operatorname {PolyLog}\left (2,e^x\right )+2 x \operatorname {PolyLog}\left (3,-e^x\right )-2 x \operatorname {PolyLog}\left (3,e^x\right )-2 \operatorname {PolyLog}\left (4,-e^x\right )+2 \operatorname {PolyLog}\left (4,e^x\right ) \]
[Out]
Time = 0.08 (sec) , antiderivative size = 77, normalized size of antiderivative = 1.00, number of steps used = 10, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.857, Rules used = {6409, 4267, 2611, 6744, 2320, 6724} \[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-x^2 \operatorname {PolyLog}\left (2,-e^x\right )+x^2 \operatorname {PolyLog}\left (2,e^x\right )+2 x \operatorname {PolyLog}\left (3,-e^x\right )-2 x \operatorname {PolyLog}\left (3,e^x\right )-2 \operatorname {PolyLog}\left (4,-e^x\right )+2 \operatorname {PolyLog}\left (4,e^x\right )+\frac {1}{3} x^3 \coth ^{-1}(\cosh (x)) \]
[In]
[Out]
Rule 2320
Rule 2611
Rule 4267
Rule 6409
Rule 6724
Rule 6744
Rubi steps \begin{align*} \text {integral}& = \frac {1}{3} x^3 \coth ^{-1}(\cosh (x))+\frac {1}{3} \int x^3 \text {csch}(x) \, dx \\ & = \frac {1}{3} x^3 \coth ^{-1}(\cosh (x))-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-\int x^2 \log \left (1-e^x\right ) \, dx+\int x^2 \log \left (1+e^x\right ) \, dx \\ & = \frac {1}{3} x^3 \coth ^{-1}(\cosh (x))-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-x^2 \operatorname {PolyLog}\left (2,-e^x\right )+x^2 \operatorname {PolyLog}\left (2,e^x\right )+2 \int x \operatorname {PolyLog}\left (2,-e^x\right ) \, dx-2 \int x \operatorname {PolyLog}\left (2,e^x\right ) \, dx \\ & = \frac {1}{3} x^3 \coth ^{-1}(\cosh (x))-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-x^2 \operatorname {PolyLog}\left (2,-e^x\right )+x^2 \operatorname {PolyLog}\left (2,e^x\right )+2 x \operatorname {PolyLog}\left (3,-e^x\right )-2 x \operatorname {PolyLog}\left (3,e^x\right )-2 \int \operatorname {PolyLog}\left (3,-e^x\right ) \, dx+2 \int \operatorname {PolyLog}\left (3,e^x\right ) \, dx \\ & = \frac {1}{3} x^3 \coth ^{-1}(\cosh (x))-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-x^2 \operatorname {PolyLog}\left (2,-e^x\right )+x^2 \operatorname {PolyLog}\left (2,e^x\right )+2 x \operatorname {PolyLog}\left (3,-e^x\right )-2 x \operatorname {PolyLog}\left (3,e^x\right )-2 \text {Subst}\left (\int \frac {\operatorname {PolyLog}(3,-x)}{x} \, dx,x,e^x\right )+2 \text {Subst}\left (\int \frac {\operatorname {PolyLog}(3,x)}{x} \, dx,x,e^x\right ) \\ & = \frac {1}{3} x^3 \coth ^{-1}(\cosh (x))-\frac {2}{3} x^3 \text {arctanh}\left (e^x\right )-x^2 \operatorname {PolyLog}\left (2,-e^x\right )+x^2 \operatorname {PolyLog}\left (2,e^x\right )+2 x \operatorname {PolyLog}\left (3,-e^x\right )-2 x \operatorname {PolyLog}\left (3,e^x\right )-2 \operatorname {PolyLog}\left (4,-e^x\right )+2 \operatorname {PolyLog}\left (4,e^x\right ) \\ \end{align*}
Time = 0.01 (sec) , antiderivative size = 91, normalized size of antiderivative = 1.18 \[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\frac {1}{3} \left (x^3 \coth ^{-1}(\cosh (x))+x^3 \log \left (1-e^x\right )-x^3 \log \left (1+e^x\right )-3 x^2 \operatorname {PolyLog}\left (2,-e^x\right )+3 x^2 \operatorname {PolyLog}\left (2,e^x\right )+6 x \operatorname {PolyLog}\left (3,-e^x\right )-6 x \operatorname {PolyLog}\left (3,e^x\right )-6 \operatorname {PolyLog}\left (4,-e^x\right )+6 \operatorname {PolyLog}\left (4,e^x\right )\right ) \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 0.34 (sec) , antiderivative size = 401, normalized size of antiderivative = 5.21
method | result | size |
risch | \(-\frac {x^{3} \ln \left ({\mathrm e}^{x}-1\right )}{3}-x^{2} \operatorname {polylog}\left (2, -{\mathrm e}^{x}\right )+2 x \operatorname {polylog}\left (3, -{\mathrm e}^{x}\right )-2 \operatorname {polylog}\left (4, -{\mathrm e}^{x}\right )-\frac {i \pi \left ({\operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )\right )}^{2} \operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )^{2}\right )-2 \,\operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )\right ) {\operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )^{2}\right )}^{2}+{\operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )^{2}\right )}^{3}+\operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )^{2}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x} \left (1+{\mathrm e}^{x}\right )^{2}\right )-\operatorname {csgn}\left (i \left (1+{\mathrm e}^{x}\right )^{2}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x} \left (1+{\mathrm e}^{x}\right )^{2}\right )^{2}-{\operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )\right )}^{2} \operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )^{2}\right )+2 \,\operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )\right ) {\operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )^{2}\right )}^{2}-{\operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )^{2}\right )}^{3}-\operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )^{2}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x} \left ({\mathrm e}^{x}-1\right )^{2}\right )+\operatorname {csgn}\left (i \left ({\mathrm e}^{x}-1\right )^{2}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x} \left ({\mathrm e}^{x}-1\right )^{2}\right )^{2}-\operatorname {csgn}\left (i {\mathrm e}^{-x}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x} \left (1+{\mathrm e}^{x}\right )^{2}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{-x}\right ) \operatorname {csgn}\left (i {\mathrm e}^{-x} \left ({\mathrm e}^{x}-1\right )^{2}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{-x} \left (1+{\mathrm e}^{x}\right )^{2}\right )^{3}-\operatorname {csgn}\left (i {\mathrm e}^{-x} \left ({\mathrm e}^{x}-1\right )^{2}\right )^{3}\right ) x^{3}}{12}+\frac {x^{3} \ln \left (1-{\mathrm e}^{x}\right )}{3}+x^{2} \operatorname {polylog}\left (2, {\mathrm e}^{x}\right )-2 x \operatorname {polylog}\left (3, {\mathrm e}^{x}\right )+2 \operatorname {polylog}\left (4, {\mathrm e}^{x}\right )\) | \(401\) |
[In]
[Out]
none
Time = 0.26 (sec) , antiderivative size = 117, normalized size of antiderivative = 1.52 \[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\frac {1}{6} \, x^{3} \log \left (\frac {\cosh \left (x\right ) + 1}{\cosh \left (x\right ) - 1}\right ) - \frac {1}{3} \, x^{3} \log \left (\cosh \left (x\right ) + \sinh \left (x\right ) + 1\right ) + \frac {1}{3} \, x^{3} \log \left (-\cosh \left (x\right ) - \sinh \left (x\right ) + 1\right ) + x^{2} {\rm Li}_2\left (\cosh \left (x\right ) + \sinh \left (x\right )\right ) - x^{2} {\rm Li}_2\left (-\cosh \left (x\right ) - \sinh \left (x\right )\right ) - 2 \, x {\rm polylog}\left (3, \cosh \left (x\right ) + \sinh \left (x\right )\right ) + 2 \, x {\rm polylog}\left (3, -\cosh \left (x\right ) - \sinh \left (x\right )\right ) + 2 \, {\rm polylog}\left (4, \cosh \left (x\right ) + \sinh \left (x\right )\right ) - 2 \, {\rm polylog}\left (4, -\cosh \left (x\right ) - \sinh \left (x\right )\right ) \]
[In]
[Out]
\[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\int x^{2} \operatorname {acoth}{\left (\cosh {\left (x \right )} \right )}\, dx \]
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 78, normalized size of antiderivative = 1.01 \[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\frac {1}{3} \, x^{3} \operatorname {arcoth}\left (\cosh \left (x\right )\right ) - \frac {1}{3} \, x^{3} \log \left (e^{x} + 1\right ) + \frac {1}{3} \, x^{3} \log \left (-e^{x} + 1\right ) - x^{2} {\rm Li}_2\left (-e^{x}\right ) + x^{2} {\rm Li}_2\left (e^{x}\right ) + 2 \, x {\rm Li}_{3}(-e^{x}) - 2 \, x {\rm Li}_{3}(e^{x}) - 2 \, {\rm Li}_{4}(-e^{x}) + 2 \, {\rm Li}_{4}(e^{x}) \]
[In]
[Out]
\[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\int { x^{2} \operatorname {arcoth}\left (\cosh \left (x\right )\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int x^2 \coth ^{-1}(\cosh (x)) \, dx=\int x^2\,\mathrm {acoth}\left (\mathrm {cosh}\left (x\right )\right ) \,d x \]
[In]
[Out]