Integrand size = 13, antiderivative size = 39 \[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=2 b^2 x-\frac {\coth ^{-1}(\tanh (a+b x))^2}{x}-2 b \left (b x-\coth ^{-1}(\tanh (a+b x))\right ) \log (x) \]
Time = 0.03 (sec) , antiderivative size = 37, normalized size of antiderivative = 0.95 \[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=-\frac {\coth ^{-1}(\tanh (a+b x))^2}{x}-2 b^2 x \log (x)+2 b \coth ^{-1}(\tanh (a+b x)) (1+\log (x)) \]
Time = 0.20 (sec) , antiderivative size = 39, 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.231, Rules used = {2599, 2589, 14}
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 {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx\) |
\(\Big \downarrow \) 2599 |
\(\displaystyle 2 b \int \frac {\coth ^{-1}(\tanh (a+b x))}{x}dx-\frac {\coth ^{-1}(\tanh (a+b x))^2}{x}\) |
\(\Big \downarrow \) 2589 |
\(\displaystyle 2 b \left (b x-\left (b x-\coth ^{-1}(\tanh (a+b x))\right ) \int \frac {1}{x}dx\right )-\frac {\coth ^{-1}(\tanh (a+b x))^2}{x}\) |
\(\Big \downarrow \) 14 |
\(\displaystyle 2 b \left (b x-\log (x) \left (b x-\coth ^{-1}(\tanh (a+b x))\right )\right )-\frac {\coth ^{-1}(\tanh (a+b x))^2}{x}\) |
3.2.42.3.1 Defintions of rubi rules used
Int[(v_)/(u_), x_Symbol] :> With[{a = Simplify[D[u, x]], b = Simplify[D[v, x]]}, Simp[b*(x/a), x] - Simp[(b*u - a*v)/a Int[1/u, x], x] /; NeQ[b*u - a*v, 0]] /; PiecewiseLinearQ[u, v, x]
Int[(u_)^(m_)*(v_)^(n_.), x_Symbol] :> With[{a = Simplify[D[u, x]], b = Sim plify[D[v, x]]}, Simp[u^(m + 1)*(v^n/(a*(m + 1))), x] - Simp[b*(n/(a*(m + 1 ))) Int[u^(m + 1)*v^(n - 1), x], x] /; NeQ[b*u - a*v, 0]] /; FreeQ[{m, n} , x] && PiecewiseLinearQ[u, v, x] && NeQ[m, -1] && ((LtQ[m, -1] && GtQ[n, 0 ] && !(ILtQ[m + n, -2] && (FractionQ[m] || GeQ[2*n + m + 1, 0]))) || (IGtQ [n, 0] && IGtQ[m, 0] && LeQ[n, m]) || (IGtQ[n, 0] && !IntegerQ[m]) || (ILt Q[m, 0] && !IntegerQ[n]))
Result contains higher order function than in optimal. Order 9 vs. order 3.
Time = 0.15 (sec) , antiderivative size = 647, normalized size of antiderivative = 16.59
method | result | size |
risch | \(-\frac {\ln \left ({\mathrm e}^{b x +a}\right )^{2}}{x}-2 \ln \left (x \right ) x \,b^{2}+2 \ln \left (x \right ) \ln \left ({\mathrm e}^{b x +a}\right ) b +2 b^{2} x +\frac {\pi ^{2} {\left (\operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right ) \operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right ) \operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )-\operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right ) \operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )^{2}+2 \operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right )^{3}-2 \operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{b x +a}\right )^{2} \operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right )-2 \,\operatorname {csgn}\left (i {\mathrm e}^{b x +a}\right ) \operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right )^{3}-\operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right ) \operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )^{2}+\operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )^{3}+2\right )}^{2}}{16 x}-\frac {i \pi \left (\operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right ) \operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right ) \operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )-\operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right ) \operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )^{2}+2 \operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right )^{3}-2 \operatorname {csgn}\left (\frac {i}{{\mathrm e}^{2 b x +2 a}+1}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{b x +a}\right )^{2} \operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right )-2 \,\operatorname {csgn}\left (i {\mathrm e}^{b x +a}\right ) \operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right )^{2}+\operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right )^{3}-\operatorname {csgn}\left (i {\mathrm e}^{2 b x +2 a}\right ) \operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )^{2}+\operatorname {csgn}\left (\frac {i {\mathrm e}^{2 b x +2 a}}{{\mathrm e}^{2 b x +2 a}+1}\right )^{3}+2\right ) \left (-\frac {\ln \left ({\mathrm e}^{b x +a}\right )}{x}+b \ln \left (x \right )\right )}{2}\) | \(647\) |
-1/x*ln(exp(b*x+a))^2-2*ln(x)*x*b^2+2*ln(x)*ln(exp(b*x+a))*b+2*b^2*x+1/16* Pi^2*(csgn(I/(exp(2*b*x+2*a)+1))*csgn(I*exp(2*b*x+2*a))*csgn(I*exp(2*b*x+2 *a)/(exp(2*b*x+2*a)+1))-csgn(I/(exp(2*b*x+2*a)+1))*csgn(I*exp(2*b*x+2*a)/( exp(2*b*x+2*a)+1))^2+2*csgn(I/(exp(2*b*x+2*a)+1))^3-2*csgn(I/(exp(2*b*x+2* a)+1))^2+csgn(I*exp(b*x+a))^2*csgn(I*exp(2*b*x+2*a))-2*csgn(I*exp(b*x+a))* csgn(I*exp(2*b*x+2*a))^2+csgn(I*exp(2*b*x+2*a))^3-csgn(I*exp(2*b*x+2*a))*c sgn(I*exp(2*b*x+2*a)/(exp(2*b*x+2*a)+1))^2+csgn(I*exp(2*b*x+2*a)/(exp(2*b* x+2*a)+1))^3+2)^2/x-1/2*I*Pi*(csgn(I/(exp(2*b*x+2*a)+1))*csgn(I*exp(2*b*x+ 2*a))*csgn(I*exp(2*b*x+2*a)/(exp(2*b*x+2*a)+1))-csgn(I/(exp(2*b*x+2*a)+1)) *csgn(I*exp(2*b*x+2*a)/(exp(2*b*x+2*a)+1))^2+2*csgn(I/(exp(2*b*x+2*a)+1))^ 3-2*csgn(I/(exp(2*b*x+2*a)+1))^2+csgn(I*exp(b*x+a))^2*csgn(I*exp(2*b*x+2*a ))-2*csgn(I*exp(b*x+a))*csgn(I*exp(2*b*x+2*a))^2+csgn(I*exp(2*b*x+2*a))^3- csgn(I*exp(2*b*x+2*a))*csgn(I*exp(2*b*x+2*a)/(exp(2*b*x+2*a)+1))^2+csgn(I* exp(2*b*x+2*a)/(exp(2*b*x+2*a)+1))^3+2)*(-1/x*ln(exp(b*x+a))+b*ln(x))
Result contains complex when optimal does not.
Time = 0.24 (sec) , antiderivative size = 41, normalized size of antiderivative = 1.05 \[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=\frac {4 \, b^{2} x^{2} + \pi ^{2} - 4 i \, \pi a - 4 \, a^{2} - 4 \, {\left (-i \, \pi b x - 2 \, a b x\right )} \log \left (x\right )}{4 \, x} \]
\[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=\int \frac {\operatorname {acoth}^{2}{\left (\tanh {\left (a + b x \right )} \right )}}{x^{2}}\, dx \]
Time = 0.25 (sec) , antiderivative size = 54, normalized size of antiderivative = 1.38 \[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=2 \, b \operatorname {arcoth}\left (\tanh \left (b x + a\right )\right ) \log \left (x\right ) - 2 \, {\left (b {\left (x + \frac {a}{b}\right )} \log \left (x\right ) - b {\left (x + \frac {a \log \left (x\right )}{b}\right )}\right )} b - \frac {\operatorname {arcoth}\left (\tanh \left (b x + a\right )\right )^{2}}{x} \]
2*b*arccoth(tanh(b*x + a))*log(x) - 2*(b*(x + a/b)*log(x) - b*(x + a*log(x )/b))*b - arccoth(tanh(b*x + a))^2/x
Result contains complex when optimal does not.
Time = 0.29 (sec) , antiderivative size = 36, normalized size of antiderivative = 0.92 \[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=b^{2} x + {\left (i \, \pi b + 2 \, a b\right )} \log \left (x\right ) + \frac {\pi ^{2} - 4 i \, \pi a - 4 \, a^{2}}{4 \, x} \]
Time = 3.91 (sec) , antiderivative size = 207, normalized size of antiderivative = 5.31 \[ \int \frac {\coth ^{-1}(\tanh (a+b x))^2}{x^2} \, dx=b\,\ln \left (\frac {{\mathrm {e}}^{2\,b\,x}}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )-\frac {{\ln \left (\frac {2\,{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )}^2}{4\,x}-b\,\ln \left (\frac {1}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )-\frac {{\ln \left (-\frac {2}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )}^2}{4\,x}+b\,\ln \left (\frac {2\,{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )\,\ln \left (x\right )-b\,\ln \left (-\frac {2}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )\,\ln \left (x\right )+\frac {\ln \left (\frac {2\,{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )\,\ln \left (-\frac {2}{{\mathrm {e}}^{2\,a}\,{\mathrm {e}}^{2\,b\,x}-1}\right )}{2\,x}-2\,b^2\,x\,\ln \left (x\right ) \]
b*log(exp(2*b*x)/(exp(2*a)*exp(2*b*x) - 1)) - log((2*exp(2*a)*exp(2*b*x))/ (exp(2*a)*exp(2*b*x) - 1))^2/(4*x) - b*log(1/(exp(2*a)*exp(2*b*x) - 1)) - log(-2/(exp(2*a)*exp(2*b*x) - 1))^2/(4*x) + b*log((2*exp(2*a)*exp(2*b*x))/ (exp(2*a)*exp(2*b*x) - 1))*log(x) - b*log(-2/(exp(2*a)*exp(2*b*x) - 1))*lo g(x) + (log((2*exp(2*a)*exp(2*b*x))/(exp(2*a)*exp(2*b*x) - 1))*log(-2/(exp (2*a)*exp(2*b*x) - 1)))/(2*x) - 2*b^2*x*log(x)