Optimal. Leaf size=264 \[ -\frac{x \text{PolyLog}\left (3,\frac{b f^{c+d x}}{1-a}\right )}{d^2 \log ^2(f)}+\frac{x \text{PolyLog}\left (3,-\frac{b f^{c+d x}}{a+1}\right )}{d^2 \log ^2(f)}+\frac{\text{PolyLog}\left (4,\frac{b f^{c+d x}}{1-a}\right )}{d^3 \log ^3(f)}-\frac{\text{PolyLog}\left (4,-\frac{b f^{c+d x}}{a+1}\right )}{d^3 \log ^3(f)}+\frac{x^2 \text{PolyLog}\left (2,\frac{b f^{c+d x}}{1-a}\right )}{2 d \log (f)}-\frac{x^2 \text{PolyLog}\left (2,-\frac{b f^{c+d x}}{a+1}\right )}{2 d \log (f)}-\frac{1}{6} x^3 \log \left (-a-b f^{c+d x}+1\right )+\frac{1}{6} x^3 \log \left (a+b f^{c+d x}+1\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (\frac{b f^{c+d x}}{a+1}+1\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.196633, antiderivative size = 264, normalized size of antiderivative = 1., number of steps used = 11, number of rules used = 6, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.375, Rules used = {6213, 2532, 2531, 6609, 2282, 6589} \[ -\frac{x \text{PolyLog}\left (3,\frac{b f^{c+d x}}{1-a}\right )}{d^2 \log ^2(f)}+\frac{x \text{PolyLog}\left (3,-\frac{b f^{c+d x}}{a+1}\right )}{d^2 \log ^2(f)}+\frac{\text{PolyLog}\left (4,\frac{b f^{c+d x}}{1-a}\right )}{d^3 \log ^3(f)}-\frac{\text{PolyLog}\left (4,-\frac{b f^{c+d x}}{a+1}\right )}{d^3 \log ^3(f)}+\frac{x^2 \text{PolyLog}\left (2,\frac{b f^{c+d x}}{1-a}\right )}{2 d \log (f)}-\frac{x^2 \text{PolyLog}\left (2,-\frac{b f^{c+d x}}{a+1}\right )}{2 d \log (f)}-\frac{1}{6} x^3 \log \left (-a-b f^{c+d x}+1\right )+\frac{1}{6} x^3 \log \left (a+b f^{c+d x}+1\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (\frac{b f^{c+d x}}{a+1}+1\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6213
Rule 2532
Rule 2531
Rule 6609
Rule 2282
Rule 6589
Rubi steps
\begin{align*} \int x^2 \tanh ^{-1}\left (a+b f^{c+d x}\right ) \, dx &=-\left (\frac{1}{2} \int x^2 \log \left (1-a-b f^{c+d x}\right ) \, dx\right )+\frac{1}{2} \int x^2 \log \left (1+a+b f^{c+d x}\right ) \, dx\\ &=-\frac{1}{6} x^3 \log \left (1-a-b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1+a+b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (1+\frac{b f^{c+d x}}{1+a}\right )-\frac{1}{2} \int x^2 \log \left (1-\frac{b f^{c+d x}}{1-a}\right ) \, dx+\frac{1}{2} \int x^2 \log \left (1+\frac{b f^{c+d x}}{1+a}\right ) \, dx\\ &=-\frac{1}{6} x^3 \log \left (1-a-b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1+a+b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (1+\frac{b f^{c+d x}}{1+a}\right )+\frac{x^2 \text{Li}_2\left (\frac{b f^{c+d x}}{1-a}\right )}{2 d \log (f)}-\frac{x^2 \text{Li}_2\left (-\frac{b f^{c+d x}}{1+a}\right )}{2 d \log (f)}-\frac{\int x \text{Li}_2\left (\frac{b f^{c+d x}}{1-a}\right ) \, dx}{d \log (f)}+\frac{\int x \text{Li}_2\left (-\frac{b f^{c+d x}}{1+a}\right ) \, dx}{d \log (f)}\\ &=-\frac{1}{6} x^3 \log \left (1-a-b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1+a+b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (1+\frac{b f^{c+d x}}{1+a}\right )+\frac{x^2 \text{Li}_2\left (\frac{b f^{c+d x}}{1-a}\right )}{2 d \log (f)}-\frac{x^2 \text{Li}_2\left (-\frac{b f^{c+d x}}{1+a}\right )}{2 d \log (f)}-\frac{x \text{Li}_3\left (\frac{b f^{c+d x}}{1-a}\right )}{d^2 \log ^2(f)}+\frac{x \text{Li}_3\left (-\frac{b f^{c+d x}}{1+a}\right )}{d^2 \log ^2(f)}+\frac{\int \text{Li}_3\left (\frac{b f^{c+d x}}{1-a}\right ) \, dx}{d^2 \log ^2(f)}-\frac{\int \text{Li}_3\left (-\frac{b f^{c+d x}}{1+a}\right ) \, dx}{d^2 \log ^2(f)}\\ &=-\frac{1}{6} x^3 \log \left (1-a-b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1+a+b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (1+\frac{b f^{c+d x}}{1+a}\right )+\frac{x^2 \text{Li}_2\left (\frac{b f^{c+d x}}{1-a}\right )}{2 d \log (f)}-\frac{x^2 \text{Li}_2\left (-\frac{b f^{c+d x}}{1+a}\right )}{2 d \log (f)}-\frac{x \text{Li}_3\left (\frac{b f^{c+d x}}{1-a}\right )}{d^2 \log ^2(f)}+\frac{x \text{Li}_3\left (-\frac{b f^{c+d x}}{1+a}\right )}{d^2 \log ^2(f)}+\frac{\operatorname{Subst}\left (\int \frac{\text{Li}_3\left (\frac{b x}{1-a}\right )}{x} \, dx,x,f^{c+d x}\right )}{d^3 \log ^3(f)}-\frac{\operatorname{Subst}\left (\int \frac{\text{Li}_3\left (-\frac{b x}{1+a}\right )}{x} \, dx,x,f^{c+d x}\right )}{d^3 \log ^3(f)}\\ &=-\frac{1}{6} x^3 \log \left (1-a-b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1+a+b f^{c+d x}\right )+\frac{1}{6} x^3 \log \left (1-\frac{b f^{c+d x}}{1-a}\right )-\frac{1}{6} x^3 \log \left (1+\frac{b f^{c+d x}}{1+a}\right )+\frac{x^2 \text{Li}_2\left (\frac{b f^{c+d x}}{1-a}\right )}{2 d \log (f)}-\frac{x^2 \text{Li}_2\left (-\frac{b f^{c+d x}}{1+a}\right )}{2 d \log (f)}-\frac{x \text{Li}_3\left (\frac{b f^{c+d x}}{1-a}\right )}{d^2 \log ^2(f)}+\frac{x \text{Li}_3\left (-\frac{b f^{c+d x}}{1+a}\right )}{d^2 \log ^2(f)}+\frac{\text{Li}_4\left (\frac{b f^{c+d x}}{1-a}\right )}{d^3 \log ^3(f)}-\frac{\text{Li}_4\left (-\frac{b f^{c+d x}}{1+a}\right )}{d^3 \log ^3(f)}\\ \end{align*}
Mathematica [A] time = 0.0879626, size = 235, normalized size = 0.89 \[ \frac{3 d^2 x^2 \log ^2(f) \text{PolyLog}\left (2,-\frac{b f^{c+d x}}{a-1}\right )-3 d^2 x^2 \log ^2(f) \text{PolyLog}\left (2,-\frac{b f^{c+d x}}{a+1}\right )+6 \text{PolyLog}\left (4,-\frac{b f^{c+d x}}{a-1}\right )-6 \text{PolyLog}\left (4,-\frac{b f^{c+d x}}{a+1}\right )-6 d x \log (f) \text{PolyLog}\left (3,-\frac{b f^{c+d x}}{a-1}\right )+6 d x \log (f) \text{PolyLog}\left (3,-\frac{b f^{c+d x}}{a+1}\right )+d^3 x^3 \log ^3(f) \log \left (\frac{b f^{c+d x}}{a-1}+1\right )-d^3 x^3 \log ^3(f) \log \left (\frac{b f^{c+d x}}{a+1}+1\right )+2 d^3 x^3 \log ^3(f) \tanh ^{-1}\left (a+b f^{c+d x}\right )}{6 d^3 \log ^3(f)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.126, size = 672, normalized size = 2.6 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.06354, size = 338, normalized size = 1.28 \begin{align*} \frac{1}{3} \, x^{3} \operatorname{artanh}\left (b f^{d x + c} + a\right ) - \frac{1}{6} \, b d{\left (\frac{\log \left (\frac{b f^{d x} f^{c}}{a + 1} + 1\right ) \log \left (f^{d x}\right )^{3} + 3 \,{\rm Li}_2\left (-\frac{b f^{d x} f^{c}}{a + 1}\right ) \log \left (f^{d x}\right )^{2} - 6 \, \log \left (f^{d x}\right ){\rm Li}_{3}(-\frac{b f^{d x} f^{c}}{a + 1}) + 6 \,{\rm Li}_{4}(-\frac{b f^{d x} f^{c}}{a + 1})}{b d^{4} \log \left (f\right )^{4}} - \frac{\log \left (\frac{b f^{d x} f^{c}}{a - 1} + 1\right ) \log \left (f^{d x}\right )^{3} + 3 \,{\rm Li}_2\left (-\frac{b f^{d x} f^{c}}{a - 1}\right ) \log \left (f^{d x}\right )^{2} - 6 \, \log \left (f^{d x}\right ){\rm Li}_{3}(-\frac{b f^{d x} f^{c}}{a - 1}) + 6 \,{\rm Li}_{4}(-\frac{b f^{d x} f^{c}}{a - 1})}{b d^{4} \log \left (f\right )^{4}}\right )} \log \left (f\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 1.60706, size = 1454, normalized size = 5.51 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \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 x^{2} \operatorname{artanh}\left (b f^{d x + c} + a\right )\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]