\(\int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx\) [155]

Optimal result

Integrand size = 12, antiderivative size = 105 \[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=-\frac {(1-a x)^{1-\frac {n}{2}} (1+a x)^{\frac {2+n}{2}}}{2 x^2}-\frac {2 a^2 n (1-a x)^{1-\frac {n}{2}} (1+a x)^{\frac {1}{2} (-2+n)} \operatorname {Hypergeometric2F1}\left (2,1-\frac {n}{2},2-\frac {n}{2},\frac {1-a x}{1+a x}\right )}{2-n} \] Output:

-1/2*(-a*x+1)^(1-1/2*n)*(a*x+1)^(1+1/2*n)/x^2-2*a^2*n*(-a*x+1)^(1-1/2*n)*( 
a*x+1)^(-1+1/2*n)*hypergeom([2, 1-1/2*n],[2-1/2*n],(-a*x+1)/(a*x+1))/(2-n)
 

Mathematica [A] (verified)

Time = 0.03 (sec) , antiderivative size = 91, normalized size of antiderivative = 0.87 \[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\frac {(1-a x)^{1-\frac {n}{2}} (1+a x)^{-1+\frac {n}{2}} \left (-\left ((-2+n) (1+a x)^2\right )+4 a^2 n x^2 \operatorname {Hypergeometric2F1}\left (2,1-\frac {n}{2},2-\frac {n}{2},\frac {1-a x}{1+a x}\right )\right )}{2 (-2+n) x^2} \] Input:

Integrate[E^(n*ArcTanh[a*x])/x^3,x]
 

Output:

((1 - a*x)^(1 - n/2)*(1 + a*x)^(-1 + n/2)*(-((-2 + n)*(1 + a*x)^2) + 4*a^2 
*n*x^2*Hypergeometric2F1[2, 1 - n/2, 2 - n/2, (1 - a*x)/(1 + a*x)]))/(2*(- 
2 + n)*x^2)
 

Rubi [A] (verified)

Time = 0.26 (sec) , antiderivative size = 105, 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 = {6676, 107, 141}

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 {e^{n \text {arctanh}(a x)}}{x^3} \, dx\)

\(\Big \downarrow \) 6676

\(\displaystyle \int \frac {(1-a x)^{-n/2} (a x+1)^{n/2}}{x^3}dx\)

\(\Big \downarrow \) 107

\(\displaystyle \frac {1}{2} a n \int \frac {(1-a x)^{-n/2} (a x+1)^{n/2}}{x^2}dx-\frac {(1-a x)^{1-\frac {n}{2}} (a x+1)^{\frac {n+2}{2}}}{2 x^2}\)

\(\Big \downarrow \) 141

\(\displaystyle -\frac {2 a^2 n (a x+1)^{\frac {n-2}{2}} (1-a x)^{1-\frac {n}{2}} \operatorname {Hypergeometric2F1}\left (2,1-\frac {n}{2},2-\frac {n}{2},\frac {1-a x}{a x+1}\right )}{2-n}-\frac {(a x+1)^{\frac {n+2}{2}} (1-a x)^{1-\frac {n}{2}}}{2 x^2}\)

Input:

Int[E^(n*ArcTanh[a*x])/x^3,x]
 

Output:

-1/2*((1 - a*x)^(1 - n/2)*(1 + a*x)^((2 + n)/2))/x^2 - (2*a^2*n*(1 - a*x)^ 
(1 - n/2)*(1 + a*x)^((-2 + n)/2)*Hypergeometric2F1[2, 1 - n/2, 2 - n/2, (1 
 - a*x)/(1 + a*x)])/(2 - n)
 

Defintions of rubi rules used

rule 107

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_) 
)^(p_), x_] :> Simp[b*(a + b*x)^(m + 1)*(c + d*x)^(n + 1)*((e + f*x)^(p + 1 
)/((m + 1)*(b*c - a*d)*(b*e - a*f))), x] + Simp[(a*d*f*(m + 1) + b*c*f*(n + 
 1) + b*d*e*(p + 1))/((m + 1)*(b*c - a*d)*(b*e - a*f))   Int[(a + b*x)^(m + 
 1)*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, m, n, p}, x 
] && EqQ[Simplify[m + n + p + 3], 0] && (LtQ[m, -1] || SumSimplerQ[m, 1])
 

rule 141

Int[((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_)*((e_.) + (f_.)*(x_) 
)^(p_), x_] :> Simp[(b*c - a*d)^n*((a + b*x)^(m + 1)/((m + 1)*(b*e - a*f)^( 
n + 1)*(e + f*x)^(m + 1)))*Hypergeometric2F1[m + 1, -n, m + 2, (-(d*e - c*f 
))*((a + b*x)/((b*c - a*d)*(e + f*x)))], x] /; FreeQ[{a, b, c, d, e, f, m, 
p}, x] && EqQ[m + n + p + 2, 0] && ILtQ[n, 0] && (SumSimplerQ[m, 1] ||  !Su 
mSimplerQ[p, 1]) &&  !ILtQ[m, 0]
 

rule 6676

Int[E^(ArcTanh[(a_.)*(x_)]*(n_))*((c_.)*(x_))^(m_.), x_Symbol] :> Int[(c*x) 
^m*((1 + a*x)^(n/2)/(1 - a*x)^(n/2)), x] /; FreeQ[{a, c, m, n}, x] &&  !Int 
egerQ[(n - 1)/2]
 

Maple [F]

\[\int \frac {{\mathrm e}^{n \,\operatorname {arctanh}\left (a x \right )}}{x^{3}}d x\]

Input:

int(exp(n*arctanh(a*x))/x^3,x)
 

Output:

int(exp(n*arctanh(a*x))/x^3,x)
 

Fricas [F]

\[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\int { \frac {\left (-\frac {a x + 1}{a x - 1}\right )^{\frac {1}{2} \, n}}{x^{3}} \,d x } \] Input:

integrate(exp(n*arctanh(a*x))/x^3,x, algorithm="fricas")
 

Output:

integral((-(a*x + 1)/(a*x - 1))^(1/2*n)/x^3, x)
 

Sympy [F]

\[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\int \frac {e^{n \operatorname {atanh}{\left (a x \right )}}}{x^{3}}\, dx \] Input:

integrate(exp(n*atanh(a*x))/x**3,x)
 

Output:

Integral(exp(n*atanh(a*x))/x**3, x)
 

Maxima [F]

\[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\int { \frac {\left (-\frac {a x + 1}{a x - 1}\right )^{\frac {1}{2} \, n}}{x^{3}} \,d x } \] Input:

integrate(exp(n*arctanh(a*x))/x^3,x, algorithm="maxima")
 

Output:

integrate((-(a*x + 1)/(a*x - 1))^(1/2*n)/x^3, x)
 

Giac [F]

\[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\int { \frac {\left (-\frac {a x + 1}{a x - 1}\right )^{\frac {1}{2} \, n}}{x^{3}} \,d x } \] Input:

integrate(exp(n*arctanh(a*x))/x^3,x, algorithm="giac")
 

Output:

integrate((-(a*x + 1)/(a*x - 1))^(1/2*n)/x^3, x)
 

Mupad [F(-1)]

Timed out. \[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\int \frac {{\mathrm {e}}^{n\,\mathrm {atanh}\left (a\,x\right )}}{x^3} \,d x \] Input:

int(exp(n*atanh(a*x))/x^3,x)
 

Output:

int(exp(n*atanh(a*x))/x^3, x)
 

Reduce [F]

\[ \int \frac {e^{n \text {arctanh}(a x)}}{x^3} \, dx=\frac {-e^{\mathit {atanh} \left (a x \right ) n}-\left (\int \frac {e^{\mathit {atanh} \left (a x \right ) n}}{a^{2} x^{4}-x^{2}}d x \right ) a n \,x^{2}}{2 x^{2}} \] Input:

int(exp(n*atanh(a*x))/x^3,x)
 

Output:

( - (e**(atanh(a*x)*n) + int(e**(atanh(a*x)*n)/(a**2*x**4 - x**2),x)*a*n*x 
**2))/(2*x**2)