3.2.27 \(\int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx\) [127]

3.2.27.1 Optimal result
3.2.27.2 Mathematica [A] (verified)
3.2.27.3 Rubi [A] (warning: unable to verify)
3.2.27.4 Maple [F]
3.2.27.5 Fricas [C] (verification not implemented)
3.2.27.6 Sympy [F]
3.2.27.7 Maxima [A] (verification not implemented)
3.2.27.8 Giac [A] (verification not implemented)
3.2.27.9 Mupad [B] (verification not implemented)

3.2.27.1 Optimal result

Integrand size = 12, antiderivative size = 392 \[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=\frac {\left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{1+\frac {1}{a x}} x}{8 a}+\frac {1}{2} \left (1-\frac {1}{a x}\right )^{7/8} \left (1+\frac {1}{a x}\right )^{9/8} x^2-\frac {\arctan \left (1-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{16 \sqrt {2} a^2}+\frac {\arctan \left (1+\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{16 \sqrt {2} a^2}+\frac {\arctan \left (\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{16 a^2}+\frac {\text {arctanh}\left (\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{16 a^2}-\frac {\log \left (1-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {\sqrt [4]{1+\frac {1}{a x}}}{\sqrt [4]{1-\frac {1}{a x}}}\right )}{32 \sqrt {2} a^2}+\frac {\log \left (1+\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {\sqrt [4]{1+\frac {1}{a x}}}{\sqrt [4]{1-\frac {1}{a x}}}\right )}{32 \sqrt {2} a^2} \]

output
1/8*(1-1/a/x)^(7/8)*(1+1/a/x)^(1/8)*x/a+1/2*(1-1/a/x)^(7/8)*(1+1/a/x)^(9/8 
)*x^2+1/16*arctan((1+1/a/x)^(1/8)/(1-1/a/x)^(1/8))/a^2+1/16*arctanh((1+1/a 
/x)^(1/8)/(1-1/a/x)^(1/8))/a^2-1/32*arctan(1-(1+1/a/x)^(1/8)*2^(1/2)/(1-1/ 
a/x)^(1/8))/a^2*2^(1/2)+1/32*arctan(1+(1+1/a/x)^(1/8)*2^(1/2)/(1-1/a/x)^(1 
/8))/a^2*2^(1/2)-1/64*ln(1+(1+1/a/x)^(1/4)/(1-1/a/x)^(1/4)-(1+1/a/x)^(1/8) 
*2^(1/2)/(1-1/a/x)^(1/8))/a^2*2^(1/2)+1/64*ln(1+(1+1/a/x)^(1/4)/(1-1/a/x)^ 
(1/4)+(1+1/a/x)^(1/8)*2^(1/2)/(1-1/a/x)^(1/8))/a^2*2^(1/2)
 
3.2.27.2 Mathematica [A] (verified)

Time = 0.78 (sec) , antiderivative size = 319, normalized size of antiderivative = 0.81 \[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=\frac {\frac {2}{\left (-1+e^{\frac {1}{4} \coth ^{-1}(a x)}\right )^2}+\frac {6}{-1+e^{\frac {1}{4} \coth ^{-1}(a x)}}-\frac {2}{\left (1+e^{\frac {1}{4} \coth ^{-1}(a x)}\right )^2}+\frac {6}{1+e^{\frac {1}{4} \coth ^{-1}(a x)}}+\frac {8 e^{\frac {1}{4} \coth ^{-1}(a x)}}{\left (1+e^{\frac {1}{2} \coth ^{-1}(a x)}\right )^2}-\frac {12 e^{\frac {1}{4} \coth ^{-1}(a x)}}{1+e^{\frac {1}{2} \coth ^{-1}(a x)}}+\frac {32 e^{\frac {1}{4} \coth ^{-1}(a x)}}{\left (1+e^{\coth ^{-1}(a x)}\right )^2}-\frac {40 e^{\frac {1}{4} \coth ^{-1}(a x)}}{1+e^{\coth ^{-1}(a x)}}+4 \arctan \left (e^{\frac {1}{4} \coth ^{-1}(a x)}\right )-2 \sqrt {2} \arctan \left (1-\sqrt {2} e^{\frac {1}{4} \coth ^{-1}(a x)}\right )+2 \sqrt {2} \arctan \left (1+\sqrt {2} e^{\frac {1}{4} \coth ^{-1}(a x)}\right )+4 \text {arctanh}\left (e^{\frac {1}{4} \coth ^{-1}(a x)}\right )-\sqrt {2} \log \left (1-\sqrt {2} e^{\frac {1}{4} \coth ^{-1}(a x)}+e^{\frac {1}{2} \coth ^{-1}(a x)}\right )+\sqrt {2} \log \left (1+\sqrt {2} e^{\frac {1}{4} \coth ^{-1}(a x)}+e^{\frac {1}{2} \coth ^{-1}(a x)}\right )}{64 a^2} \]

input
Integrate[E^(ArcCoth[a*x]/4)*x,x]
 
output
(2/(-1 + E^(ArcCoth[a*x]/4))^2 + 6/(-1 + E^(ArcCoth[a*x]/4)) - 2/(1 + E^(A 
rcCoth[a*x]/4))^2 + 6/(1 + E^(ArcCoth[a*x]/4)) + (8*E^(ArcCoth[a*x]/4))/(1 
 + E^(ArcCoth[a*x]/2))^2 - (12*E^(ArcCoth[a*x]/4))/(1 + E^(ArcCoth[a*x]/2) 
) + (32*E^(ArcCoth[a*x]/4))/(1 + E^ArcCoth[a*x])^2 - (40*E^(ArcCoth[a*x]/4 
))/(1 + E^ArcCoth[a*x]) + 4*ArcTan[E^(ArcCoth[a*x]/4)] - 2*Sqrt[2]*ArcTan[ 
1 - Sqrt[2]*E^(ArcCoth[a*x]/4)] + 2*Sqrt[2]*ArcTan[1 + Sqrt[2]*E^(ArcCoth[ 
a*x]/4)] + 4*ArcTanh[E^(ArcCoth[a*x]/4)] - Sqrt[2]*Log[1 - Sqrt[2]*E^(ArcC 
oth[a*x]/4) + E^(ArcCoth[a*x]/2)] + Sqrt[2]*Log[1 + Sqrt[2]*E^(ArcCoth[a*x 
]/4) + E^(ArcCoth[a*x]/2)])/(64*a^2)
 
3.2.27.3 Rubi [A] (warning: unable to verify)

Time = 0.48 (sec) , antiderivative size = 348, normalized size of antiderivative = 0.89, number of steps used = 17, number of rules used = 16, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 1.333, Rules used = {6721, 107, 105, 104, 758, 755, 756, 216, 219, 1476, 1082, 217, 1479, 25, 27, 1103}

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 x e^{\frac {1}{4} \coth ^{-1}(a x)} \, dx\)

\(\Big \downarrow \) 6721

\(\displaystyle -\int \frac {\sqrt [8]{1+\frac {1}{a x}} x^3}{\sqrt [8]{1-\frac {1}{a x}}}d\frac {1}{x}\)

\(\Big \downarrow \) 107

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\int \frac {\sqrt [8]{1+\frac {1}{a x}} x^2}{\sqrt [8]{1-\frac {1}{a x}}}d\frac {1}{x}}{8 a}\)

\(\Big \downarrow \) 105

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {\int \frac {x}{\sqrt [8]{1-\frac {1}{a x}} \left (1+\frac {1}{a x}\right )^{7/8}}d\frac {1}{x}}{4 a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 104

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \int \frac {1}{\frac {1}{x^8}-1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 758

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (-\frac {1}{2} \int \frac {1}{1-\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 755

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1+\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \int \frac {1}{1-\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 756

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (-\frac {1}{2} \int \frac {1}{1-\frac {1}{x^2}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1}{1+\frac {1}{x^2}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )+\frac {1}{2} \left (-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1+\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 216

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (-\frac {1}{2} \int \frac {1}{1-\frac {1}{x^2}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )+\frac {1}{2} \left (-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1+\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 219

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1+\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 1476

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (\frac {1}{2} \left (-\frac {1}{2} \int \frac {1}{-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}-\frac {1}{2} \int \frac {1}{\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 1082

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (\frac {1}{2} \left (\frac {\int \frac {1}{-1-\frac {1}{x^2}}d\left (\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\sqrt {2}}-\frac {\int \frac {1}{-1-\frac {1}{x^2}}d\left (1-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{\sqrt {2}}\right )-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 217

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (\frac {1}{2} \left (\frac {\arctan \left (1-\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{\sqrt {2}}-\frac {\arctan \left (\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\sqrt {2}}\right )-\frac {1}{2} \int \frac {1-\frac {1}{x^2}}{1+\frac {1}{x^4}}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 1479

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (\frac {1}{2} \left (\frac {\int -\frac {\sqrt {2}-\frac {2 \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{2 \sqrt {2}}+\frac {\int -\frac {\sqrt {2} \left (\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{2 \sqrt {2}}\right )+\frac {1}{2} \left (\frac {\arctan \left (1-\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{\sqrt {2}}-\frac {\arctan \left (\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\sqrt {2}}\right )\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 25

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (\frac {1}{2} \left (-\frac {\int \frac {\sqrt {2}-\frac {2 \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{2 \sqrt {2}}-\frac {\int \frac {\sqrt {2} \left (\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{2 \sqrt {2}}\right )+\frac {1}{2} \left (\frac {\arctan \left (1-\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{\sqrt {2}}-\frac {\arctan \left (\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\sqrt {2}}\right )\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (\frac {1}{2} \left (-\frac {\int \frac {\sqrt {2}-\frac {2 \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{-\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}}{2 \sqrt {2}}-\frac {1}{2} \int \frac {\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+1}{\frac {\sqrt {2} \sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1}d\frac {\sqrt [8]{1+\frac {1}{a x}}}{\sqrt [8]{1-\frac {1}{a x}}}\right )+\frac {1}{2} \left (\frac {\arctan \left (1-\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{\sqrt {2}}-\frac {\arctan \left (\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\sqrt {2}}\right )\right )+\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

\(\Big \downarrow \) 1103

\(\displaystyle \frac {1}{2} x^2 \left (1-\frac {1}{a x}\right )^{7/8} \left (\frac {1}{a x}+1\right )^{9/8}-\frac {\frac {2 \left (\frac {1}{2} \left (-\frac {1}{2} \arctan \left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )-\frac {1}{2} \text {arctanh}\left (\frac {\sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )\right )+\frac {1}{2} \left (\frac {1}{2} \left (\frac {\arctan \left (1-\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}\right )}{\sqrt {2}}-\frac {\arctan \left (\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+1\right )}{\sqrt {2}}\right )+\frac {1}{2} \left (\frac {\log \left (-\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1\right )}{2 \sqrt {2}}-\frac {\log \left (\frac {\sqrt {2} \sqrt [8]{\frac {1}{a x}+1}}{\sqrt [8]{1-\frac {1}{a x}}}+\frac {1}{x^2}+1\right )}{2 \sqrt {2}}\right )\right )\right )}{a}-x \left (1-\frac {1}{a x}\right )^{7/8} \sqrt [8]{\frac {1}{a x}+1}}{8 a}\)

input
Int[E^(ArcCoth[a*x]/4)*x,x]
 
output
((1 - 1/(a*x))^(7/8)*(1 + 1/(a*x))^(9/8)*x^2)/2 - (-((1 - 1/(a*x))^(7/8)*( 
1 + 1/(a*x))^(1/8)*x) + (2*((-1/2*ArcTan[(1 + 1/(a*x))^(1/8)/(1 - 1/(a*x)) 
^(1/8)] - ArcTanh[(1 + 1/(a*x))^(1/8)/(1 - 1/(a*x))^(1/8)]/2)/2 + ((ArcTan 
[1 - (Sqrt[2]*(1 + 1/(a*x))^(1/8))/(1 - 1/(a*x))^(1/8)]/Sqrt[2] - ArcTan[1 
 + (Sqrt[2]*(1 + 1/(a*x))^(1/8))/(1 - 1/(a*x))^(1/8)]/Sqrt[2])/2 + (Log[1 
- (Sqrt[2]*(1 + 1/(a*x))^(1/8))/(1 - 1/(a*x))^(1/8) + x^(-2)]/(2*Sqrt[2]) 
- Log[1 + (Sqrt[2]*(1 + 1/(a*x))^(1/8))/(1 - 1/(a*x))^(1/8) + x^(-2)]/(2*S 
qrt[2]))/2)/2))/a)/(8*a)
 

3.2.27.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 104
Int[(((a_.) + (b_.)*(x_))^(m_)*((c_.) + (d_.)*(x_))^(n_))/((e_.) + (f_.)*(x 
_)), x_] :> With[{q = Denominator[m]}, Simp[q   Subst[Int[x^(q*(m + 1) - 1) 
/(b*e - a*f - (d*e - c*f)*x^q), x], x, (a + b*x)^(1/q)/(c + d*x)^(1/q)], x] 
] /; FreeQ[{a, b, c, d, e, f}, x] && EqQ[m + n + 1, 0] && RationalQ[n] && L 
tQ[-1, m, 0] && SimplerQ[a + b*x, c + d*x]
 

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

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 216
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[b, 2]))*A 
rcTan[Rt[b, 2]*(x/Rt[a, 2])], x] /; FreeQ[{a, b}, x] && PosQ[a/b] && (GtQ[a 
, 0] || GtQ[b, 0])
 

rule 217
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(-(Rt[-a, 2]*Rt[-b, 2])^( 
-1))*ArcTan[Rt[-b, 2]*(x/Rt[-a, 2])], x] /; FreeQ[{a, b}, x] && PosQ[a/b] & 
& (LtQ[a, 0] || LtQ[b, 0])
 

rule 219
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[-b, 2]))* 
ArcTanh[Rt[-b, 2]*(x/Rt[a, 2])], x] /; FreeQ[{a, b}, x] && NegQ[a/b] && (Gt 
Q[a, 0] || LtQ[b, 0])
 

rule 755
Int[((a_) + (b_.)*(x_)^4)^(-1), x_Symbol] :> With[{r = Numerator[Rt[a/b, 2] 
], s = Denominator[Rt[a/b, 2]]}, Simp[1/(2*r)   Int[(r - s*x^2)/(a + b*x^4) 
, x], x] + Simp[1/(2*r)   Int[(r + s*x^2)/(a + b*x^4), x], x]] /; FreeQ[{a, 
 b}, x] && (GtQ[a/b, 0] || (PosQ[a/b] && AtomQ[SplitProduct[SumBaseQ, a]] & 
& AtomQ[SplitProduct[SumBaseQ, b]]))
 

rule 756
Int[((a_) + (b_.)*(x_)^4)^(-1), x_Symbol] :> With[{r = Numerator[Rt[-a/b, 2 
]], s = Denominator[Rt[-a/b, 2]]}, Simp[r/(2*a)   Int[1/(r - s*x^2), x], x] 
 + Simp[r/(2*a)   Int[1/(r + s*x^2), x], x]] /; FreeQ[{a, b}, x] &&  !GtQ[a 
/b, 0]
 

rule 758
Int[((a_) + (b_.)*(x_)^(n_))^(-1), x_Symbol] :> With[{r = Numerator[Rt[-a/b 
, 2]], s = Denominator[Rt[-a/b, 2]]}, Simp[r/(2*a)   Int[1/(r - s*x^(n/2)), 
 x], x] + Simp[r/(2*a)   Int[1/(r + s*x^(n/2)), x], x]] /; FreeQ[{a, b}, x] 
 && IGtQ[n/4, 1] &&  !GtQ[a/b, 0]
 

rule 1082
Int[((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> With[{q = 1 - 4*S 
implify[a*(c/b^2)]}, Simp[-2/b   Subst[Int[1/(q - x^2), x], x, 1 + 2*c*(x/b 
)], x] /; RationalQ[q] && (EqQ[q^2, 1] ||  !RationalQ[b^2 - 4*a*c])] /; Fre 
eQ[{a, b, c}, x]
 

rule 1103
Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> S 
imp[d*(Log[RemoveContent[a + b*x + c*x^2, x]]/b), x] /; FreeQ[{a, b, c, d, 
e}, x] && EqQ[2*c*d - b*e, 0]
 

rule 1476
Int[((d_) + (e_.)*(x_)^2)/((a_) + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[ 
2*(d/e), 2]}, Simp[e/(2*c)   Int[1/Simp[d/e + q*x + x^2, x], x], x] + Simp[ 
e/(2*c)   Int[1/Simp[d/e - q*x + x^2, x], x], x]] /; FreeQ[{a, c, d, e}, x] 
 && EqQ[c*d^2 - a*e^2, 0] && PosQ[d*e]
 

rule 1479
Int[((d_) + (e_.)*(x_)^2)/((a_) + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[ 
-2*(d/e), 2]}, Simp[e/(2*c*q)   Int[(q - 2*x)/Simp[d/e + q*x - x^2, x], x], 
 x] + Simp[e/(2*c*q)   Int[(q + 2*x)/Simp[d/e - q*x - x^2, x], x], x]] /; F 
reeQ[{a, c, d, e}, x] && EqQ[c*d^2 - a*e^2, 0] && NegQ[d*e]
 

rule 6721
Int[E^(ArcCoth[(a_.)*(x_)]*(n_))*(x_)^(m_.), x_Symbol] :> -Subst[Int[(1 + x 
/a)^(n/2)/(x^(m + 2)*(1 - x/a)^(n/2)), x], x, 1/x] /; FreeQ[{a, n}, x] && 
!IntegerQ[n] && IntegerQ[m]
 
3.2.27.4 Maple [F]

\[\int \frac {x}{\left (\frac {a x -1}{a x +1}\right )^{\frac {1}{8}}}d x\]

input
int(1/((a*x-1)/(a*x+1))^(1/8)*x,x)
 
output
int(1/((a*x-1)/(a*x+1))^(1/8)*x,x)
 
3.2.27.5 Fricas [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 0.26 (sec) , antiderivative size = 255, normalized size of antiderivative = 0.65 \[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=-\frac {a^{2} \left (-\frac {1}{a^{8}}\right )^{\frac {1}{4}} \log \left (a^{6} \left (-\frac {1}{a^{8}}\right )^{\frac {3}{4}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right ) - i \, a^{2} \left (-\frac {1}{a^{8}}\right )^{\frac {1}{4}} \log \left (i \, a^{6} \left (-\frac {1}{a^{8}}\right )^{\frac {3}{4}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right ) + i \, a^{2} \left (-\frac {1}{a^{8}}\right )^{\frac {1}{4}} \log \left (-i \, a^{6} \left (-\frac {1}{a^{8}}\right )^{\frac {3}{4}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right ) - a^{2} \left (-\frac {1}{a^{8}}\right )^{\frac {1}{4}} \log \left (-a^{6} \left (-\frac {1}{a^{8}}\right )^{\frac {3}{4}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right ) - 4 \, {\left (4 \, a^{2} x^{2} + 9 \, a x + 5\right )} \left (\frac {a x - 1}{a x + 1}\right )^{\frac {7}{8}} + 2 \, \arctan \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right ) - \log \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + 1\right ) + \log \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} - 1\right )}{32 \, a^{2}} \]

input
integrate(1/((a*x-1)/(a*x+1))^(1/8)*x,x, algorithm="fricas")
 
output
-1/32*(a^2*(-1/a^8)^(1/4)*log(a^6*(-1/a^8)^(3/4) + ((a*x - 1)/(a*x + 1))^( 
1/8)) - I*a^2*(-1/a^8)^(1/4)*log(I*a^6*(-1/a^8)^(3/4) + ((a*x - 1)/(a*x + 
1))^(1/8)) + I*a^2*(-1/a^8)^(1/4)*log(-I*a^6*(-1/a^8)^(3/4) + ((a*x - 1)/( 
a*x + 1))^(1/8)) - a^2*(-1/a^8)^(1/4)*log(-a^6*(-1/a^8)^(3/4) + ((a*x - 1) 
/(a*x + 1))^(1/8)) - 4*(4*a^2*x^2 + 9*a*x + 5)*((a*x - 1)/(a*x + 1))^(7/8) 
 + 2*arctan(((a*x - 1)/(a*x + 1))^(1/8)) - log(((a*x - 1)/(a*x + 1))^(1/8) 
 + 1) + log(((a*x - 1)/(a*x + 1))^(1/8) - 1))/a^2
 
3.2.27.6 Sympy [F]

\[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=\int \frac {x}{\sqrt [8]{\frac {a x - 1}{a x + 1}}}\, dx \]

input
integrate(1/((a*x-1)/(a*x+1))**(1/8)*x,x)
 
output
Integral(x/((a*x - 1)/(a*x + 1))**(1/8), x)
 
3.2.27.7 Maxima [A] (verification not implemented)

Time = 0.31 (sec) , antiderivative size = 304, normalized size of antiderivative = 0.78 \[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=\frac {1}{64} \, a {\left (\frac {16 \, {\left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {15}{8}} - 9 \, \left (\frac {a x - 1}{a x + 1}\right )^{\frac {7}{8}}\right )}}{\frac {2 \, {\left (a x - 1\right )} a^{3}}{a x + 1} - \frac {{\left (a x - 1\right )}^{2} a^{3}}{{\left (a x + 1\right )}^{2}} - a^{3}} - \frac {2 \, \sqrt {2} \arctan \left (\frac {1}{2} \, \sqrt {2} {\left (\sqrt {2} + 2 \, \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right )}\right ) + 2 \, \sqrt {2} \arctan \left (-\frac {1}{2} \, \sqrt {2} {\left (\sqrt {2} - 2 \, \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right )}\right ) - \sqrt {2} \log \left (\sqrt {2} \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{4}} + 1\right ) + \sqrt {2} \log \left (-\sqrt {2} \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{4}} + 1\right )}{a^{3}} - \frac {4 \, \arctan \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right )}{a^{3}} + \frac {2 \, \log \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + 1\right )}{a^{3}} - \frac {2 \, \log \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} - 1\right )}{a^{3}}\right )} \]

input
integrate(1/((a*x-1)/(a*x+1))^(1/8)*x,x, algorithm="maxima")
 
output
1/64*a*(16*(((a*x - 1)/(a*x + 1))^(15/8) - 9*((a*x - 1)/(a*x + 1))^(7/8))/ 
(2*(a*x - 1)*a^3/(a*x + 1) - (a*x - 1)^2*a^3/(a*x + 1)^2 - a^3) - (2*sqrt( 
2)*arctan(1/2*sqrt(2)*(sqrt(2) + 2*((a*x - 1)/(a*x + 1))^(1/8))) + 2*sqrt( 
2)*arctan(-1/2*sqrt(2)*(sqrt(2) - 2*((a*x - 1)/(a*x + 1))^(1/8))) - sqrt(2 
)*log(sqrt(2)*((a*x - 1)/(a*x + 1))^(1/8) + ((a*x - 1)/(a*x + 1))^(1/4) + 
1) + sqrt(2)*log(-sqrt(2)*((a*x - 1)/(a*x + 1))^(1/8) + ((a*x - 1)/(a*x + 
1))^(1/4) + 1))/a^3 - 4*arctan(((a*x - 1)/(a*x + 1))^(1/8))/a^3 + 2*log((( 
a*x - 1)/(a*x + 1))^(1/8) + 1)/a^3 - 2*log(((a*x - 1)/(a*x + 1))^(1/8) - 1 
)/a^3)
 
3.2.27.8 Giac [A] (verification not implemented)

Time = 0.30 (sec) , antiderivative size = 288, normalized size of antiderivative = 0.73 \[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=-\frac {1}{64} \, a {\left (\frac {2 \, \sqrt {2} \arctan \left (\frac {1}{2} \, \sqrt {2} {\left (\sqrt {2} + 2 \, \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right )}\right )}{a^{3}} + \frac {2 \, \sqrt {2} \arctan \left (-\frac {1}{2} \, \sqrt {2} {\left (\sqrt {2} - 2 \, \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right )}\right )}{a^{3}} - \frac {\sqrt {2} \log \left (\sqrt {2} \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{4}} + 1\right )}{a^{3}} + \frac {\sqrt {2} \log \left (-\sqrt {2} \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + \left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{4}} + 1\right )}{a^{3}} + \frac {4 \, \arctan \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}}\right )}{a^{3}} - \frac {2 \, \log \left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + 1\right )}{a^{3}} + \frac {2 \, \log \left (-\left (\frac {a x - 1}{a x + 1}\right )^{\frac {1}{8}} + 1\right )}{a^{3}} + \frac {16 \, {\left (\left (\frac {a x - 1}{a x + 1}\right )^{\frac {15}{8}} - 9 \, \left (\frac {a x - 1}{a x + 1}\right )^{\frac {7}{8}}\right )}}{a^{3} {\left (\frac {a x - 1}{a x + 1} - 1\right )}^{2}}\right )} \]

input
integrate(1/((a*x-1)/(a*x+1))^(1/8)*x,x, algorithm="giac")
 
output
-1/64*a*(2*sqrt(2)*arctan(1/2*sqrt(2)*(sqrt(2) + 2*((a*x - 1)/(a*x + 1))^( 
1/8)))/a^3 + 2*sqrt(2)*arctan(-1/2*sqrt(2)*(sqrt(2) - 2*((a*x - 1)/(a*x + 
1))^(1/8)))/a^3 - sqrt(2)*log(sqrt(2)*((a*x - 1)/(a*x + 1))^(1/8) + ((a*x 
- 1)/(a*x + 1))^(1/4) + 1)/a^3 + sqrt(2)*log(-sqrt(2)*((a*x - 1)/(a*x + 1) 
)^(1/8) + ((a*x - 1)/(a*x + 1))^(1/4) + 1)/a^3 + 4*arctan(((a*x - 1)/(a*x 
+ 1))^(1/8))/a^3 - 2*log(((a*x - 1)/(a*x + 1))^(1/8) + 1)/a^3 + 2*log(-((a 
*x - 1)/(a*x + 1))^(1/8) + 1)/a^3 + 16*(((a*x - 1)/(a*x + 1))^(15/8) - 9*( 
(a*x - 1)/(a*x + 1))^(7/8))/(a^3*((a*x - 1)/(a*x + 1) - 1)^2))
 
3.2.27.9 Mupad [B] (verification not implemented)

Time = 0.17 (sec) , antiderivative size = 190, normalized size of antiderivative = 0.48 \[ \int e^{\frac {1}{4} \coth ^{-1}(a x)} x \, dx=\frac {\frac {9\,{\left (\frac {a\,x-1}{a\,x+1}\right )}^{7/8}}{4}-\frac {{\left (\frac {a\,x-1}{a\,x+1}\right )}^{15/8}}{4}}{a^2+\frac {a^2\,{\left (a\,x-1\right )}^2}{{\left (a\,x+1\right )}^2}-\frac {2\,a^2\,\left (a\,x-1\right )}{a\,x+1}}-\frac {\mathrm {atan}\left ({\left (\frac {a\,x-1}{a\,x+1}\right )}^{1/8}\,1{}\mathrm {i}\right )\,1{}\mathrm {i}}{16\,a^2}-\frac {\mathrm {atan}\left ({\left (\frac {a\,x-1}{a\,x+1}\right )}^{1/8}\right )}{16\,a^2}+\frac {\sqrt {2}\,\mathrm {atan}\left (\sqrt {2}\,{\left (\frac {a\,x-1}{a\,x+1}\right )}^{1/8}\,\left (\frac {1}{2}-\frac {1}{2}{}\mathrm {i}\right )\right )\,\left (-\frac {1}{32}+\frac {1}{32}{}\mathrm {i}\right )}{a^2}+\frac {\sqrt {2}\,\mathrm {atan}\left (\sqrt {2}\,{\left (\frac {a\,x-1}{a\,x+1}\right )}^{1/8}\,\left (\frac {1}{2}+\frac {1}{2}{}\mathrm {i}\right )\right )\,\left (-\frac {1}{32}-\frac {1}{32}{}\mathrm {i}\right )}{a^2} \]

input
int(x/((a*x - 1)/(a*x + 1))^(1/8),x)
 
output
((9*((a*x - 1)/(a*x + 1))^(7/8))/4 - ((a*x - 1)/(a*x + 1))^(15/8)/4)/(a^2 
+ (a^2*(a*x - 1)^2)/(a*x + 1)^2 - (2*a^2*(a*x - 1))/(a*x + 1)) - (atan(((a 
*x - 1)/(a*x + 1))^(1/8)*1i)*1i)/(16*a^2) - atan(((a*x - 1)/(a*x + 1))^(1/ 
8))/(16*a^2) - (2^(1/2)*atan(2^(1/2)*((a*x - 1)/(a*x + 1))^(1/8)*(1/2 - 1i 
/2))*(1/32 - 1i/32))/a^2 - (2^(1/2)*atan(2^(1/2)*((a*x - 1)/(a*x + 1))^(1/ 
8)*(1/2 + 1i/2))*(1/32 + 1i/32))/a^2