\(\int (a+b \text {arctanh}(\frac {c}{x^2}))^2 \, dx\) [178]

Optimal result

Integrand size = 12, antiderivative size = 1050 \[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx =\text {Too large to display} \] Output:

-1/2*I*b^2*c^(1/2)*polylog(2,1-(1+I)*(c^(1/2)-x)/(c^(1/2)-I*x))-I*b^2*c^(1 
/2)*polylog(2,-1+2*c^(1/2)/(c^(1/2)-I*x))-I*b^2*c^(1/2)*polylog(2,-I*x/c^( 
1/2))+b^2*c^(1/2)*arctan(x/c^(1/2))*ln((1+I)*(c^(1/2)-x)/(c^(1/2)-I*x))+b^ 
2*c^(1/2)*arctan(x/c^(1/2))*ln((1-I)*(c^(1/2)+x)/(c^(1/2)-I*x))-b^2*c^(1/2 
)*arctanh(x/c^(1/2))*ln(1+c/x^2)+b^2*c^(1/2)*arctan(x/c^(1/2))*ln(1+c/x^2) 
-b^2*c^(1/2)*arctan(x/c^(1/2))*ln(1-c/x^2)+b^2*c^(1/2)*arctanh(x/c^(1/2))* 
ln(1-c/x^2)+I*b^2*c^(1/2)*polylog(2,1-2*c^(1/2)/(c^(1/2)-I*x))+I*b^2*c^(1/ 
2)*polylog(2,I*x/c^(1/2))+b^2*c^(1/2)*arctanh(x/c^(1/2))*ln(2*c^(1/2)*((-c 
)^(1/2)+x)/((-c)^(1/2)+c^(1/2))/(c^(1/2)+x))+b^2*c^(1/2)*arctanh(x/c^(1/2) 
)*ln(2*c^(1/2)*((-c)^(1/2)-x)/((-c)^(1/2)-c^(1/2))/(c^(1/2)+x))+2*a*b*c^(1 
/2)*arctan(x/c^(1/2))+2*b^2*c^(1/2)*arctan(x/c^(1/2))*ln(2-2*c^(1/2)/(c^(1 
/2)-I*x))-2*b^2*c^(1/2)*arctan(x/c^(1/2))*ln(2*c^(1/2)/(c^(1/2)-I*x))-2*a* 
b*c^(1/2)*arctanh(x/c^(1/2))+2*b^2*c^(1/2)*arctanh(x/c^(1/2))*ln(2-2*c^(1/ 
2)/(c^(1/2)+x))-2*b^2*c^(1/2)*arctanh(x/c^(1/2))*ln(2*c^(1/2)/(c^(1/2)+x)) 
-I*b^2*c^(1/2)*arctan(x/c^(1/2))^2-1/2*I*b^2*c^(1/2)*polylog(2,1+(-1+I)*(c 
^(1/2)+x)/(c^(1/2)-I*x))-1/2*b^2*c^(1/2)*polylog(2,1-2*c^(1/2)*((-c)^(1/2) 
+x)/((-c)^(1/2)+c^(1/2))/(c^(1/2)+x))-1/2*b^2*c^(1/2)*polylog(2,1-2*c^(1/2 
)*((-c)^(1/2)-x)/((-c)^(1/2)-c^(1/2))/(c^(1/2)+x))+1/4*b^2*x*ln(1+c/x^2)^2 
+1/4*b^2*x*ln(1-c/x^2)^2+a*b*x*ln(1+c/x^2)-a*b*x*ln(1-c/x^2)+b^2*c^(1/2)*p 
olylog(2,-x/c^(1/2))-b^2*c^(1/2)*polylog(2,x/c^(1/2))+b^2*c^(1/2)*arcta...
 

Mathematica [A] (verified)

Time = 2.25 (sec) , antiderivative size = 565, normalized size of antiderivative = 0.54 \[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx =\text {Too large to display} \] Input:

Integrate[(a + b*ArcTanh[c/x^2])^2,x]
 

Output:

a^2*x - 2*a*b*Sqrt[c/x^2]*x*(ArcTan[Sqrt[c/x^2]] + ArcTanh[Sqrt[c/x^2]]) + 
 2*a*b*x*ArcTanh[c/x^2] - (b^2*Sqrt[c/x^2]*x*((-2*I)*ArcTan[Sqrt[c/x^2]]^2 
 + 4*ArcTan[Sqrt[c/x^2]]*ArcTanh[c/x^2] - (2*ArcTanh[c/x^2]^2)/Sqrt[c/x^2] 
 + 2*ArcTan[Sqrt[c/x^2]]*Log[1 + E^((4*I)*ArcTan[Sqrt[c/x^2]])] - 2*ArcTan 
h[c/x^2]*Log[1 - Sqrt[c/x^2]] + Log[2]*Log[1 - Sqrt[c/x^2]] - Log[1 - Sqrt 
[c/x^2]]^2/2 + Log[1 - Sqrt[c/x^2]]*Log[(1/2 + I/2)*(-I + Sqrt[c/x^2])] + 
2*ArcTanh[c/x^2]*Log[1 + Sqrt[c/x^2]] - Log[2]*Log[1 + Sqrt[c/x^2]] - Log[ 
((1 + I) - (1 - I)*Sqrt[c/x^2])/2]*Log[1 + Sqrt[c/x^2]] - Log[(-1/2 - I/2) 
*(I + Sqrt[c/x^2])]*Log[1 + Sqrt[c/x^2]] + Log[1 + Sqrt[c/x^2]]^2/2 + Log[ 
1 - Sqrt[c/x^2]]*Log[((1 + I) + (1 - I)*Sqrt[c/x^2])/2] - (I/2)*PolyLog[2, 
 -E^((4*I)*ArcTan[Sqrt[c/x^2]])] - PolyLog[2, (1 - Sqrt[c/x^2])/2] + PolyL 
og[2, (-1/2 - I/2)*(-1 + Sqrt[c/x^2])] + PolyLog[2, (-1/2 + I/2)*(-1 + Sqr 
t[c/x^2])] + PolyLog[2, (1 + Sqrt[c/x^2])/2] - PolyLog[2, (1/2 - I/2)*(1 + 
 Sqrt[c/x^2])] - PolyLog[2, (1/2 + I/2)*(1 + Sqrt[c/x^2])]))/2
 

Rubi [A] (verified)

Time = 1.75 (sec) , antiderivative size = 1050, 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 = {6440, 6439, 2009}

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 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx\)

\(\Big \downarrow \) 6440

\(\displaystyle \int \left (a+b \coth ^{-1}\left (\frac {x^2}{c}\right )\right )^2dx\)

\(\Big \downarrow \) 6439

\(\displaystyle \int \left (a^2-a b \log \left (1-\frac {c}{x^2}\right )+a b \log \left (\frac {c}{x^2}+1\right )+\frac {1}{4} b^2 \log ^2\left (1-\frac {c}{x^2}\right )+\frac {1}{4} b^2 \log ^2\left (\frac {c}{x^2}+1\right )-\frac {1}{2} b^2 \log \left (1-\frac {c}{x^2}\right ) \log \left (\frac {c}{x^2}+1\right )\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle x a^2+2 b \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) a-2 b \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) a-b x \log \left (1-\frac {c}{x^2}\right ) a+b x \log \left (\frac {c}{x^2}+1\right ) a-i b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right )^2+b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right )^2+\frac {1}{4} b^2 x \log ^2\left (1-\frac {c}{x^2}\right )+\frac {1}{4} b^2 x \log ^2\left (\frac {c}{x^2}+1\right )+2 b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (2-\frac {2 \sqrt {c}}{\sqrt {c}-i x}\right )-b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (1-\frac {c}{x^2}\right )+b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (1-\frac {c}{x^2}\right )+b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {c}{x^2}+1\right )-b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {c}{x^2}+1\right )-\frac {1}{2} b^2 x \log \left (1-\frac {c}{x^2}\right ) \log \left (\frac {c}{x^2}+1\right )-2 b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c}}{\sqrt {c}-i x}\right )+b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {(1+i) \left (\sqrt {c}-x\right )}{\sqrt {c}-i x}\right )-2 b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c}}{x+\sqrt {c}}\right )+b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c} \left (\sqrt {-c}-x\right )}{\left (\sqrt {-c}-\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )+b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c} \left (x+\sqrt {-c}\right )}{\left (\sqrt {-c}+\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )+b^2 \sqrt {c} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {(1-i) \left (x+\sqrt {c}\right )}{\sqrt {c}-i x}\right )+2 b^2 \sqrt {c} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (2-\frac {2 \sqrt {c}}{x+\sqrt {c}}\right )+i b^2 \sqrt {c} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c}}{\sqrt {c}-i x}\right )-i b^2 \sqrt {c} \operatorname {PolyLog}\left (2,\frac {2 \sqrt {c}}{\sqrt {c}-i x}-1\right )-\frac {1}{2} i b^2 \sqrt {c} \operatorname {PolyLog}\left (2,1-\frac {(1+i) \left (\sqrt {c}-x\right )}{\sqrt {c}-i x}\right )+b^2 \sqrt {c} \operatorname {PolyLog}\left (2,-\frac {x}{\sqrt {c}}\right )-i b^2 \sqrt {c} \operatorname {PolyLog}\left (2,-\frac {i x}{\sqrt {c}}\right )+i b^2 \sqrt {c} \operatorname {PolyLog}\left (2,\frac {i x}{\sqrt {c}}\right )-b^2 \sqrt {c} \operatorname {PolyLog}\left (2,\frac {x}{\sqrt {c}}\right )+b^2 \sqrt {c} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c}}{x+\sqrt {c}}\right )-b^2 \sqrt {c} \operatorname {PolyLog}\left (2,\frac {2 \sqrt {c}}{x+\sqrt {c}}-1\right )-\frac {1}{2} b^2 \sqrt {c} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c} \left (\sqrt {-c}-x\right )}{\left (\sqrt {-c}-\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )-\frac {1}{2} b^2 \sqrt {c} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c} \left (x+\sqrt {-c}\right )}{\left (\sqrt {-c}+\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )-\frac {1}{2} i b^2 \sqrt {c} \operatorname {PolyLog}\left (2,1-\frac {(1-i) \left (x+\sqrt {c}\right )}{\sqrt {c}-i x}\right )\)

Input:

Int[(a + b*ArcTanh[c/x^2])^2,x]
 

Output:

a^2*x + 2*a*b*Sqrt[c]*ArcTan[x/Sqrt[c]] - I*b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]^ 
2 - 2*a*b*Sqrt[c]*ArcTanh[x/Sqrt[c]] + b^2*Sqrt[c]*ArcTanh[x/Sqrt[c]]^2 + 
2*b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]*Log[2 - (2*Sqrt[c])/(Sqrt[c] - I*x)] - a*b 
*x*Log[1 - c/x^2] - b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]*Log[1 - c/x^2] + b^2*Sqr 
t[c]*ArcTanh[x/Sqrt[c]]*Log[1 - c/x^2] + (b^2*x*Log[1 - c/x^2]^2)/4 + a*b* 
x*Log[1 + c/x^2] + b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]*Log[1 + c/x^2] - b^2*Sqrt 
[c]*ArcTanh[x/Sqrt[c]]*Log[1 + c/x^2] - (b^2*x*Log[1 - c/x^2]*Log[1 + c/x^ 
2])/2 + (b^2*x*Log[1 + c/x^2]^2)/4 - 2*b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]*Log[( 
2*Sqrt[c])/(Sqrt[c] - I*x)] + b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]*Log[((1 + I)*( 
Sqrt[c] - x))/(Sqrt[c] - I*x)] - 2*b^2*Sqrt[c]*ArcTanh[x/Sqrt[c]]*Log[(2*S 
qrt[c])/(Sqrt[c] + x)] + b^2*Sqrt[c]*ArcTanh[x/Sqrt[c]]*Log[(2*Sqrt[c]*(Sq 
rt[-c] - x))/((Sqrt[-c] - Sqrt[c])*(Sqrt[c] + x))] + b^2*Sqrt[c]*ArcTanh[x 
/Sqrt[c]]*Log[(2*Sqrt[c]*(Sqrt[-c] + x))/((Sqrt[-c] + Sqrt[c])*(Sqrt[c] + 
x))] + b^2*Sqrt[c]*ArcTan[x/Sqrt[c]]*Log[((1 - I)*(Sqrt[c] + x))/(Sqrt[c] 
- I*x)] + 2*b^2*Sqrt[c]*ArcTanh[x/Sqrt[c]]*Log[2 - (2*Sqrt[c])/(Sqrt[c] + 
x)] + I*b^2*Sqrt[c]*PolyLog[2, 1 - (2*Sqrt[c])/(Sqrt[c] - I*x)] - I*b^2*Sq 
rt[c]*PolyLog[2, -1 + (2*Sqrt[c])/(Sqrt[c] - I*x)] - (I/2)*b^2*Sqrt[c]*Pol 
yLog[2, 1 - ((1 + I)*(Sqrt[c] - x))/(Sqrt[c] - I*x)] + b^2*Sqrt[c]*PolyLog 
[2, -(x/Sqrt[c])] - I*b^2*Sqrt[c]*PolyLog[2, ((-I)*x)/Sqrt[c]] + I*b^2*Sqr 
t[c]*PolyLog[2, (I*x)/Sqrt[c]] - b^2*Sqrt[c]*PolyLog[2, x/Sqrt[c]] + b^...
 

Defintions of rubi rules used

rule 2009

Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 6439

Int[((a_.) + ArcCoth[(c_.)*(x_)^(n_)]*(b_.))^(p_), x_Symbol] :> Int[ExpandI 
ntegrand[(a + b*(Log[1 + 1/(x^n*c)]/2) - b*(Log[1 - 1/(x^n*c)]/2))^p, x], x 
] /; FreeQ[{a, b, c}, x] && IGtQ[p, 1] && IGtQ[n, 0]
 

rule 6440

Int[((a_.) + ArcTanh[(c_.)*(x_)^(n_)]*(b_.))^(p_), x_Symbol] :> Int[(a + b* 
ArcCoth[1/(x^n*c)])^p, x] /; FreeQ[{a, b, c}, x] && IGtQ[p, 1] && ILtQ[n, 0 
]
 

Maple [F]

\[\int {\left (a +b \,\operatorname {arctanh}\left (\frac {c}{x^{2}}\right )\right )}^{2}d x\]

Input:

int((a+b*arctanh(c/x^2))^2,x)
 

Output:

int((a+b*arctanh(c/x^2))^2,x)
 

Fricas [F]

\[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int { {\left (b \operatorname {artanh}\left (\frac {c}{x^{2}}\right ) + a\right )}^{2} \,d x } \] Input:

integrate((a+b*arctanh(c/x^2))^2,x, algorithm="fricas")
 

Output:

integral(b^2*arctanh(c/x^2)^2 + 2*a*b*arctanh(c/x^2) + a^2, x)
 

Sympy [F]

\[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int \left (a + b \operatorname {atanh}{\left (\frac {c}{x^{2}} \right )}\right )^{2}\, dx \] Input:

integrate((a+b*atanh(c/x**2))**2,x)
 

Output:

Integral((a + b*atanh(c/x**2))**2, x)
 

Maxima [F]

\[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int { {\left (b \operatorname {artanh}\left (\frac {c}{x^{2}}\right ) + a\right )}^{2} \,d x } \] Input:

integrate((a+b*arctanh(c/x^2))^2,x, algorithm="maxima")
 

Output:

(c*(2*arctan(x/sqrt(c))/sqrt(c) + log((x - sqrt(c))/(x + sqrt(c)))/sqrt(c) 
) + 2*x*arctanh(c/x^2))*a*b + 1/4*(x*log(x^2 - c)^2 - integrate(-((x^2 - c 
)*log(x^2 + c)^2 - 2*(2*x^2 + (x^2 - c)*log(x^2 + c))*log(x^2 - c))/(x^2 - 
 c), x))*b^2 + a^2*x
 

Giac [F]

\[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int { {\left (b \operatorname {artanh}\left (\frac {c}{x^{2}}\right ) + a\right )}^{2} \,d x } \] Input:

integrate((a+b*arctanh(c/x^2))^2,x, algorithm="giac")
 

Output:

integrate((b*arctanh(c/x^2) + a)^2, x)
 

Mupad [F(-1)]

Timed out. \[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int {\left (a+b\,\mathrm {atanh}\left (\frac {c}{x^2}\right )\right )}^2 \,d x \] Input:

int((a + b*atanh(c/x^2))^2,x)
 

Output:

int((a + b*atanh(c/x^2))^2, x)
 

Reduce [F]

\[ \int \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=2 \sqrt {c}\, \mathit {atan} \left (\frac {x}{\sqrt {c}}\right ) a b +2 \sqrt {c}\, \mathit {atanh} \left (\frac {c}{x^{2}}\right ) a b +2 \mathit {atanh} \left (\frac {c}{x^{2}}\right ) a b x +2 \sqrt {c}\, \mathrm {log}\left (\sqrt {c}-x \right ) a b -\sqrt {c}\, \mathrm {log}\left (x^{2}+c \right ) a b +\left (\int \mathit {atanh} \left (\frac {c}{x^{2}}\right )^{2}d x \right ) b^{2}+a^{2} x \] Input:

int((a+b*atanh(c/x^2))^2,x)
 

Output:

2*sqrt(c)*atan(x/sqrt(c))*a*b + 2*sqrt(c)*atanh(c/x**2)*a*b + 2*atanh(c/x* 
*2)*a*b*x + 2*sqrt(c)*log(sqrt(c) - x)*a*b - sqrt(c)*log(c + x**2)*a*b + i 
nt(atanh(c/x**2)**2,x)*b**2 + a**2*x