3.8.57 \(\int \frac {e^{n \coth ^{-1}(a x)} x^3}{(c-a^2 c x^2)^{5/2}} \, dx\) [757]

3.8.57.1 Optimal result
3.8.57.2 Mathematica [A] (verified)
3.8.57.3 Rubi [A] (verified)
3.8.57.4 Maple [A] (verified)
3.8.57.5 Fricas [A] (verification not implemented)
3.8.57.6 Sympy [F]
3.8.57.7 Maxima [F]
3.8.57.8 Giac [F(-2)]
3.8.57.9 Mupad [B] (verification not implemented)

3.8.57.1 Optimal result

Integrand size = 27, antiderivative size = 330 \[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=-\frac {a \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-3-n)} \left (1+\frac {1}{a x}\right )^{\frac {1}{2} (-3+n)} x^5}{(3+n) \left (c-a^2 c x^2\right )^{5/2}}-\frac {3 a \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-1-n)} \left (1+\frac {1}{a x}\right )^{\frac {1}{2} (-3+n)} x^5}{\left (3+4 n+n^2\right ) \left (c-a^2 c x^2\right )^{5/2}}+\frac {6 a \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (1-\frac {1}{a x}\right )^{\frac {1-n}{2}} \left (1+\frac {1}{a x}\right )^{\frac {1}{2} (-3+n)} x^5}{(3+n) \left (1-n^2\right ) \left (c-a^2 c x^2\right )^{5/2}}-\frac {6 a \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (1-\frac {1}{a x}\right )^{\frac {3-n}{2}} \left (1+\frac {1}{a x}\right )^{\frac {1}{2} (-3+n)} x^5}{\left (9-10 n^2+n^4\right ) \left (c-a^2 c x^2\right )^{5/2}} \]

output
-a*(1-1/a^2/x^2)^(5/2)*(1-1/a/x)^(-3/2-1/2*n)*(1+1/a/x)^(-3/2+1/2*n)*x^5/( 
3+n)/(-a^2*c*x^2+c)^(5/2)-3*a*(1-1/a^2/x^2)^(5/2)*(1-1/a/x)^(-1/2-1/2*n)*( 
1+1/a/x)^(-3/2+1/2*n)*x^5/(n^2+4*n+3)/(-a^2*c*x^2+c)^(5/2)+6*a*(1-1/a^2/x^ 
2)^(5/2)*(1-1/a/x)^(1/2-1/2*n)*(1+1/a/x)^(-3/2+1/2*n)*x^5/(-n^3-3*n^2+n+3) 
/(-a^2*c*x^2+c)^(5/2)-6*a*(1-1/a^2/x^2)^(5/2)*(1-1/a/x)^(3/2-1/2*n)*(1+1/a 
/x)^(-3/2+1/2*n)*x^5/(n^4-10*n^2+9)/(-a^2*c*x^2+c)^(5/2)
 
3.8.57.2 Mathematica [A] (verified)

Time = 0.96 (sec) , antiderivative size = 110, normalized size of antiderivative = 0.33 \[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=-\frac {e^{n \coth ^{-1}(a x)} \left (3 \left (10-2 n^2-9 a n x+a n^3 x\right )-6 \left (-1+n^2\right ) \cosh \left (2 \coth ^{-1}(a x)\right )+a n \left (-1+n^2\right ) \sqrt {1-\frac {1}{a^2 x^2}} x \cosh \left (3 \coth ^{-1}(a x)\right )\right )}{4 a^4 c^2 \left (9-10 n^2+n^4\right ) \sqrt {c-a^2 c x^2}} \]

input
Integrate[(E^(n*ArcCoth[a*x])*x^3)/(c - a^2*c*x^2)^(5/2),x]
 
output
-1/4*(E^(n*ArcCoth[a*x])*(3*(10 - 2*n^2 - 9*a*n*x + a*n^3*x) - 6*(-1 + n^2 
)*Cosh[2*ArcCoth[a*x]] + a*n*(-1 + n^2)*Sqrt[1 - 1/(a^2*x^2)]*x*Cosh[3*Arc 
Coth[a*x]]))/(a^4*c^2*(9 - 10*n^2 + n^4)*Sqrt[c - a^2*c*x^2])
 
3.8.57.3 Rubi [A] (verified)

Time = 0.62 (sec) , antiderivative size = 239, normalized size of antiderivative = 0.72, number of steps used = 7, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {6746, 6749, 55, 55, 55, 48}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {x^3 e^{n \coth ^{-1}(a x)}}{\left (c-a^2 c x^2\right )^{5/2}} \, dx\)

\(\Big \downarrow \) 6746

\(\displaystyle \frac {x^5 \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \int \frac {e^{n \coth ^{-1}(a x)}}{\left (1-\frac {1}{a^2 x^2}\right )^{5/2} x^2}dx}{\left (c-a^2 c x^2\right )^{5/2}}\)

\(\Big \downarrow \) 6749

\(\displaystyle -\frac {x^5 \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \int \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-5)} \left (1+\frac {1}{a x}\right )^{\frac {n-5}{2}}d\frac {1}{x}}{\left (c-a^2 c x^2\right )^{5/2}}\)

\(\Big \downarrow \) 55

\(\displaystyle -\frac {x^5 \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (\frac {3 \int \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-3)} \left (1+\frac {1}{a x}\right )^{\frac {n-5}{2}}d\frac {1}{x}}{n+3}+\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-3)}}{n+3}\right )}{\left (c-a^2 c x^2\right )^{5/2}}\)

\(\Big \downarrow \) 55

\(\displaystyle -\frac {x^5 \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (\frac {3 \left (\frac {2 \int \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-1)} \left (1+\frac {1}{a x}\right )^{\frac {n-5}{2}}d\frac {1}{x}}{n+1}+\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-1)}}{n+1}\right )}{n+3}+\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-3)}}{n+3}\right )}{\left (c-a^2 c x^2\right )^{5/2}}\)

\(\Big \downarrow \) 55

\(\displaystyle -\frac {x^5 \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (\frac {3 \left (\frac {2 \left (-\frac {\int \left (1-\frac {1}{a x}\right )^{\frac {1-n}{2}} \left (1+\frac {1}{a x}\right )^{\frac {n-5}{2}}d\frac {1}{x}}{1-n}-\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1-n}{2}}}{1-n}\right )}{n+1}+\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-1)}}{n+1}\right )}{n+3}+\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-3)}}{n+3}\right )}{\left (c-a^2 c x^2\right )^{5/2}}\)

\(\Big \downarrow \) 48

\(\displaystyle -\frac {x^5 \left (1-\frac {1}{a^2 x^2}\right )^{5/2} \left (\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-3)}}{n+3}+\frac {3 \left (\frac {a \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}} \left (1-\frac {1}{a x}\right )^{\frac {1}{2} (-n-1)}}{n+1}+\frac {2 \left (\frac {a \left (1-\frac {1}{a x}\right )^{\frac {3-n}{2}} \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}}}{(1-n) (3-n)}-\frac {a \left (1-\frac {1}{a x}\right )^{\frac {1-n}{2}} \left (\frac {1}{a x}+1\right )^{\frac {n-3}{2}}}{1-n}\right )}{n+1}\right )}{n+3}\right )}{\left (c-a^2 c x^2\right )^{5/2}}\)

input
Int[(E^(n*ArcCoth[a*x])*x^3)/(c - a^2*c*x^2)^(5/2),x]
 
output
-((((3*((2*(-((a*(1 - 1/(a*x))^((1 - n)/2)*(1 + 1/(a*x))^((-3 + n)/2))/(1 
- n)) + (a*(1 - 1/(a*x))^((3 - n)/2)*(1 + 1/(a*x))^((-3 + n)/2))/((1 - n)* 
(3 - n))))/(1 + n) + (a*(1 - 1/(a*x))^((-1 - n)/2)*(1 + 1/(a*x))^((-3 + n) 
/2))/(1 + n)))/(3 + n) + (a*(1 - 1/(a*x))^((-3 - n)/2)*(1 + 1/(a*x))^((-3 
+ n)/2))/(3 + n))*(1 - 1/(a^2*x^2))^(5/2)*x^5)/(c - a^2*c*x^2)^(5/2))
 

3.8.57.3.1 Defintions of rubi rules used

rule 48
Int[((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp 
[(a + b*x)^(m + 1)*((c + d*x)^(n + 1)/((b*c - a*d)*(m + 1))), x] /; FreeQ[{ 
a, b, c, d, m, n}, x] && EqQ[m + n + 2, 0] && NeQ[m, -1]
 

rule 55
Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[ 
(a + b*x)^(m + 1)*((c + d*x)^(n + 1)/((b*c - a*d)*(m + 1))), x] - Simp[d*(S 
implify[m + n + 2]/((b*c - a*d)*(m + 1)))   Int[(a + b*x)^Simplify[m + 1]*( 
c + d*x)^n, x], x] /; FreeQ[{a, b, c, d, m, n}, x] && ILtQ[Simplify[m + n + 
 2], 0] && NeQ[m, -1] &&  !(LtQ[m, -1] && LtQ[n, -1] && (EqQ[a, 0] || (NeQ[ 
c, 0] && LtQ[m - n, 0] && IntegerQ[n]))) && (SumSimplerQ[m, 1] ||  !SumSimp 
lerQ[n, 1])
 

rule 6746
Int[E^(ArcCoth[(a_.)*(x_)]*(n_.))*(u_.)*((c_) + (d_.)*(x_)^2)^(p_), x_Symbo 
l] :> Simp[(c + d*x^2)^p/(x^(2*p)*(1 - 1/(a^2*x^2))^p)   Int[u*x^(2*p)*(1 - 
 1/(a^2*x^2))^p*E^(n*ArcCoth[a*x]), x], x] /; FreeQ[{a, c, d, n, p}, x] && 
EqQ[a^2*c + d, 0] &&  !IntegerQ[n/2] &&  !IntegerQ[p]
 

rule 6749
Int[E^(ArcCoth[(a_.)*(x_)]*(n_.))*((c_) + (d_.)/(x_)^2)^(p_.)*(x_)^(m_.), x 
_Symbol] :> Simp[-c^p   Subst[Int[(1 - x/a)^(p - n/2)*((1 + x/a)^(p + n/2)/ 
x^(m + 2)), x], x, 1/x], x] /; FreeQ[{a, c, d, n, p}, x] && EqQ[c + a^2*d, 
0] &&  !IntegerQ[n/2] && (IntegerQ[p] || GtQ[c, 0]) &&  !IntegersQ[2*p, p + 
 n/2] && IntegerQ[m]
 
3.8.57.4 Maple [A] (verified)

Time = 0.54 (sec) , antiderivative size = 93, normalized size of antiderivative = 0.28

method result size
gosper \(-\frac {\left (a x -1\right ) \left (a x +1\right ) \left (a^{3} n^{3} x^{3}-7 a^{3} x^{3} n -3 a^{2} n^{2} x^{2}+9 a^{2} x^{2}+6 a n x -6\right ) {\mathrm e}^{n \,\operatorname {arccoth}\left (a x \right )}}{a^{4} \left (n^{4}-10 n^{2}+9\right ) \left (-a^{2} c \,x^{2}+c \right )^{\frac {5}{2}}}\) \(93\)

input
int(exp(n*arccoth(a*x))*x^3/(-a^2*c*x^2+c)^(5/2),x,method=_RETURNVERBOSE)
 
output
-(a*x-1)*(a*x+1)*(a^3*n^3*x^3-7*a^3*n*x^3-3*a^2*n^2*x^2+9*a^2*x^2+6*a*n*x- 
6)*exp(n*arccoth(a*x))/a^4/(n^4-10*n^2+9)/(-a^2*c*x^2+c)^(5/2)
 
3.8.57.5 Fricas [A] (verification not implemented)

Time = 0.27 (sec) , antiderivative size = 175, normalized size of antiderivative = 0.53 \[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=\frac {\sqrt {-a^{2} c x^{2} + c} {\left ({\left (a^{3} n^{3} - 7 \, a^{3} n\right )} x^{3} + 6 \, a n x - 3 \, {\left (a^{2} n^{2} - 3 \, a^{2}\right )} x^{2} - 6\right )} \left (\frac {a x + 1}{a x - 1}\right )^{\frac {1}{2} \, n}}{a^{4} c^{3} n^{4} - 10 \, a^{4} c^{3} n^{2} + 9 \, a^{4} c^{3} + {\left (a^{8} c^{3} n^{4} - 10 \, a^{8} c^{3} n^{2} + 9 \, a^{8} c^{3}\right )} x^{4} - 2 \, {\left (a^{6} c^{3} n^{4} - 10 \, a^{6} c^{3} n^{2} + 9 \, a^{6} c^{3}\right )} x^{2}} \]

input
integrate(exp(n*arccoth(a*x))*x^3/(-a^2*c*x^2+c)^(5/2),x, algorithm="frica 
s")
 
output
sqrt(-a^2*c*x^2 + c)*((a^3*n^3 - 7*a^3*n)*x^3 + 6*a*n*x - 3*(a^2*n^2 - 3*a 
^2)*x^2 - 6)*((a*x + 1)/(a*x - 1))^(1/2*n)/(a^4*c^3*n^4 - 10*a^4*c^3*n^2 + 
 9*a^4*c^3 + (a^8*c^3*n^4 - 10*a^8*c^3*n^2 + 9*a^8*c^3)*x^4 - 2*(a^6*c^3*n 
^4 - 10*a^6*c^3*n^2 + 9*a^6*c^3)*x^2)
 
3.8.57.6 Sympy [F]

\[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=\int \frac {x^{3} e^{n \operatorname {acoth}{\left (a x \right )}}}{\left (- c \left (a x - 1\right ) \left (a x + 1\right )\right )^{\frac {5}{2}}}\, dx \]

input
integrate(exp(n*acoth(a*x))*x**3/(-a**2*c*x**2+c)**(5/2),x)
 
output
Integral(x**3*exp(n*acoth(a*x))/(-c*(a*x - 1)*(a*x + 1))**(5/2), x)
 
3.8.57.7 Maxima [F]

\[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=\int { \frac {x^{3} \left (\frac {a x + 1}{a x - 1}\right )^{\frac {1}{2} \, n}}{{\left (-a^{2} c x^{2} + c\right )}^{\frac {5}{2}}} \,d x } \]

input
integrate(exp(n*arccoth(a*x))*x^3/(-a^2*c*x^2+c)^(5/2),x, algorithm="maxim 
a")
 
output
integrate(x^3*((a*x + 1)/(a*x - 1))^(1/2*n)/(-a^2*c*x^2 + c)^(5/2), x)
 
3.8.57.8 Giac [F(-2)]

Exception generated. \[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=\text {Exception raised: TypeError} \]

input
integrate(exp(n*arccoth(a*x))*x^3/(-a^2*c*x^2+c)^(5/2),x, algorithm="giac" 
)
 
output
Exception raised: TypeError >> an error occurred running a Giac command:IN 
PUT:sage2:=int(sage0,sageVARx):;OUTPUT:sym2poly/r2sym(const gen & e,const 
index_m & i,const vecteur & l) Error: Bad Argument Value
 
3.8.57.9 Mupad [B] (verification not implemented)

Time = 4.22 (sec) , antiderivative size = 175, normalized size of antiderivative = 0.53 \[ \int \frac {e^{n \coth ^{-1}(a x)} x^3}{\left (c-a^2 c x^2\right )^{5/2}} \, dx=-\frac {{\left (\frac {a\,x+1}{a\,x}\right )}^{n/2}\,\left (\frac {6}{a^6\,c^2\,\left (n^4-10\,n^2+9\right )}-\frac {6\,n\,x}{a^5\,c^2\,\left (n^4-10\,n^2+9\right )}+\frac {x^2\,\left (3\,n^2-9\right )}{a^4\,c^2\,\left (n^4-10\,n^2+9\right )}-\frac {n\,x^3\,\left (n^2-7\right )}{a^3\,c^2\,\left (n^4-10\,n^2+9\right )}\right )}{\left (\frac {\sqrt {c-a^2\,c\,x^2}}{a^2}-x^2\,\sqrt {c-a^2\,c\,x^2}\right )\,{\left (\frac {a\,x-1}{a\,x}\right )}^{n/2}} \]

input
int((x^3*exp(n*acoth(a*x)))/(c - a^2*c*x^2)^(5/2),x)
 
output
-(((a*x + 1)/(a*x))^(n/2)*(6/(a^6*c^2*(n^4 - 10*n^2 + 9)) - (6*n*x)/(a^5*c 
^2*(n^4 - 10*n^2 + 9)) + (x^2*(3*n^2 - 9))/(a^4*c^2*(n^4 - 10*n^2 + 9)) - 
(n*x^3*(n^2 - 7))/(a^3*c^2*(n^4 - 10*n^2 + 9))))/(((c - a^2*c*x^2)^(1/2)/a 
^2 - x^2*(c - a^2*c*x^2)^(1/2))*((a*x - 1)/(a*x))^(n/2))