Optimal. Leaf size=48 \[ \frac{x \tanh ^{-1}(\tanh (a+b x))^{n+1}}{b (n+1)}-\frac{\tanh ^{-1}(\tanh (a+b x))^{n+2}}{b^2 (n+1) (n+2)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0194814, antiderivative size = 48, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 11, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.273, Rules used = {2168, 2157, 30} \[ \frac{x \tanh ^{-1}(\tanh (a+b x))^{n+1}}{b (n+1)}-\frac{\tanh ^{-1}(\tanh (a+b x))^{n+2}}{b^2 (n+1) (n+2)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2168
Rule 2157
Rule 30
Rubi steps
\begin{align*} \int x \tanh ^{-1}(\tanh (a+b x))^n \, dx &=\frac{x \tanh ^{-1}(\tanh (a+b x))^{1+n}}{b (1+n)}-\frac{\int \tanh ^{-1}(\tanh (a+b x))^{1+n} \, dx}{b (1+n)}\\ &=\frac{x \tanh ^{-1}(\tanh (a+b x))^{1+n}}{b (1+n)}-\frac{\operatorname{Subst}\left (\int x^{1+n} \, dx,x,\tanh ^{-1}(\tanh (a+b x))\right )}{b^2 (1+n)}\\ &=\frac{x \tanh ^{-1}(\tanh (a+b x))^{1+n}}{b (1+n)}-\frac{\tanh ^{-1}(\tanh (a+b x))^{2+n}}{b^2 (1+n) (2+n)}\\ \end{align*}
Mathematica [A] time = 0.0422084, size = 41, normalized size = 0.85 \[ \frac{\left (b (n+2) x-\tanh ^{-1}(\tanh (a+b x))\right ) \tanh ^{-1}(\tanh (a+b x))^{n+1}}{b^2 (n+1) (n+2)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.042, size = 175, normalized size = 3.7 \begin{align*}{\frac{{x}^{2}{{\rm e}^{n\ln \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) \right ) }}}{2+n}}+{\frac{n \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) -bx \right ) x{{\rm e}^{n\ln \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) \right ) }}}{b \left ({n}^{2}+3\,n+2 \right ) }}-{\frac{{{\rm e}^{n\ln \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) \right ) }}{a}^{2}}{{b}^{2} \left ({n}^{2}+3\,n+2 \right ) }}-2\,{\frac{{{\rm e}^{n\ln \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) \right ) }}a \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) -bx-a \right ) }{{b}^{2} \left ({n}^{2}+3\,n+2 \right ) }}-{\frac{{{\rm e}^{n\ln \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) \right ) }} \left ({\it Artanh} \left ( \tanh \left ( bx+a \right ) \right ) -bx-a \right ) ^{2}}{{b}^{2} \left ({n}^{2}+3\,n+2 \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.78231, size = 57, normalized size = 1.19 \begin{align*} \frac{{\left (b^{2}{\left (n + 1\right )} x^{2} + a b n x - a^{2}\right )}{\left (b x + a\right )}^{n}}{{\left (n^{2} + 3 \, n + 2\right )} b^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.0834, size = 198, normalized size = 4.12 \begin{align*} \frac{{\left (a b n x +{\left (b^{2} n + b^{2}\right )} x^{2} - a^{2}\right )} \cosh \left (n \log \left (b x + a\right )\right ) +{\left (a b n x +{\left (b^{2} n + b^{2}\right )} x^{2} - a^{2}\right )} \sinh \left (n \log \left (b x + a\right )\right )}{b^{2} n^{2} + 3 \, b^{2} n + 2 \, b^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: TypeError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.162, size = 103, normalized size = 2.15 \begin{align*} \frac{{\left (b x + a\right )}^{n} b^{2} n x^{2} +{\left (b x + a\right )}^{n} a b n x +{\left (b x + a\right )}^{n} b^{2} x^{2} -{\left (b x + a\right )}^{n} a^{2}}{b^{2} n^{2} + 3 \, b^{2} n + 2 \, b^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]