Integrand size = 27, antiderivative size = 105 \[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=-\frac {c e \left (a+b \coth ^{-1}(c x)\right )^2}{b}-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x}+\frac {1}{2} b c \left (d+e \log \left (1-c^2 x^2\right )\right ) \log \left (1-\frac {1}{1-c^2 x^2}\right )-\frac {1}{2} b c e \operatorname {PolyLog}\left (2,\frac {1}{1-c^2 x^2}\right ) \]
-c*e*(a+b*arccoth(c*x))^2/b-(a+b*arccoth(c*x))*(d+e*ln(-c^2*x^2+1))/x+1/2* b*c*(d+e*ln(-c^2*x^2+1))*ln(1-1/(-c^2*x^2+1))-1/2*b*c*e*polylog(2,1/(-c^2* x^2+1))
Leaf count is larger than twice the leaf count of optimal. \(332\) vs. \(2(105)=210\).
Time = 0.11 (sec) , antiderivative size = 332, normalized size of antiderivative = 3.16 \[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=-\frac {4 a d+4 b d \coth ^{-1}(c x)+4 b c e x \coth ^{-1}(c x)^2+8 a c e x \text {arctanh}(c x)-4 b c d x \log (x)-b c e x \log ^2\left (-\frac {1}{c}+x\right )-b c e x \log ^2\left (\frac {1}{c}+x\right )-2 b c e x \log \left (\frac {1}{c}+x\right ) \log \left (\frac {1}{2} (1-c x)\right )+4 b c e x \log (x) \log (1-c x)-2 b c e x \log \left (-\frac {1}{c}+x\right ) \log \left (\frac {1}{2} (1+c x)\right )+4 b c e x \log (x) \log (1+c x)+4 a e \log \left (1-c^2 x^2\right )+2 b c d x \log \left (1-c^2 x^2\right )+4 b e \coth ^{-1}(c x) \log \left (1-c^2 x^2\right )-4 b c e x \log (x) \log \left (1-c^2 x^2\right )+2 b c e x \log \left (-\frac {1}{c}+x\right ) \log \left (1-c^2 x^2\right )+2 b c e x \log \left (\frac {1}{c}+x\right ) \log \left (1-c^2 x^2\right )+4 b c e x \operatorname {PolyLog}(2,-c x)+4 b c e x \operatorname {PolyLog}(2,c x)-2 b c e x \operatorname {PolyLog}\left (2,\frac {1}{2}-\frac {c x}{2}\right )-2 b c e x \operatorname {PolyLog}\left (2,\frac {1}{2} (1+c x)\right )}{4 x} \]
-1/4*(4*a*d + 4*b*d*ArcCoth[c*x] + 4*b*c*e*x*ArcCoth[c*x]^2 + 8*a*c*e*x*Ar cTanh[c*x] - 4*b*c*d*x*Log[x] - b*c*e*x*Log[-c^(-1) + x]^2 - b*c*e*x*Log[c ^(-1) + x]^2 - 2*b*c*e*x*Log[c^(-1) + x]*Log[(1 - c*x)/2] + 4*b*c*e*x*Log[ x]*Log[1 - c*x] - 2*b*c*e*x*Log[-c^(-1) + x]*Log[(1 + c*x)/2] + 4*b*c*e*x* Log[x]*Log[1 + c*x] + 4*a*e*Log[1 - c^2*x^2] + 2*b*c*d*x*Log[1 - c^2*x^2] + 4*b*e*ArcCoth[c*x]*Log[1 - c^2*x^2] - 4*b*c*e*x*Log[x]*Log[1 - c^2*x^2] + 2*b*c*e*x*Log[-c^(-1) + x]*Log[1 - c^2*x^2] + 2*b*c*e*x*Log[c^(-1) + x]* Log[1 - c^2*x^2] + 4*b*c*e*x*PolyLog[2, -(c*x)] + 4*b*c*e*x*PolyLog[2, c*x ] - 2*b*c*e*x*PolyLog[2, 1/2 - (c*x)/2] - 2*b*c*e*x*PolyLog[2, (1 + c*x)/2 ])/x
Time = 0.71 (sec) , antiderivative size = 85, normalized size of antiderivative = 0.81, number of steps used = 8, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.259, Rules used = {6644, 2925, 2858, 27, 2779, 2838, 6511}
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 {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x^2} \, dx\) |
\(\Big \downarrow \) 6644 |
\(\displaystyle -2 c^2 e \int \frac {a+b \coth ^{-1}(c x)}{1-c^2 x^2}dx+b c \int \frac {d+e \log \left (1-c^2 x^2\right )}{x \left (1-c^2 x^2\right )}dx-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}\) |
\(\Big \downarrow \) 2925 |
\(\displaystyle -2 c^2 e \int \frac {a+b \coth ^{-1}(c x)}{1-c^2 x^2}dx+\frac {1}{2} b c \int \frac {d+e \log \left (1-c^2 x^2\right )}{x^2 \left (1-c^2 x^2\right )}dx^2-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}\) |
\(\Big \downarrow \) 2858 |
\(\displaystyle -2 c^2 e \int \frac {a+b \coth ^{-1}(c x)}{1-c^2 x^2}dx-\frac {b \int \frac {d+e \log \left (1-c^2 x^2\right )}{x^4}d\left (1-c^2 x^2\right )}{2 c}-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}\) |
\(\Big \downarrow \) 27 |
\(\displaystyle -2 c^2 e \int \frac {a+b \coth ^{-1}(c x)}{1-c^2 x^2}dx-\frac {1}{2} b c \int \frac {d+e \log \left (1-c^2 x^2\right )}{c^2 x^4}d\left (1-c^2 x^2\right )-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}\) |
\(\Big \downarrow \) 2779 |
\(\displaystyle -2 c^2 e \int \frac {a+b \coth ^{-1}(c x)}{1-c^2 x^2}dx-\frac {1}{2} b c \left (e \int \frac {\log \left (1-\frac {1}{x^2}\right )}{x^2}d\left (1-c^2 x^2\right )-\log \left (1-\frac {1}{x^2}\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )\right )-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}\) |
\(\Big \downarrow \) 2838 |
\(\displaystyle -2 c^2 e \int \frac {a+b \coth ^{-1}(c x)}{1-c^2 x^2}dx-\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}-\frac {1}{2} b c \left (e \operatorname {PolyLog}\left (2,\frac {1}{x^2}\right )-\log \left (1-\frac {1}{x^2}\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )\right )\) |
\(\Big \downarrow \) 6511 |
\(\displaystyle -\frac {\left (a+b \coth ^{-1}(c x)\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )}{x}-\frac {c e \left (a+b \coth ^{-1}(c x)\right )^2}{b}-\frac {1}{2} b c \left (e \operatorname {PolyLog}\left (2,\frac {1}{x^2}\right )-\log \left (1-\frac {1}{x^2}\right ) \left (e \log \left (1-c^2 x^2\right )+d\right )\right )\) |
-((c*e*(a + b*ArcCoth[c*x])^2)/b) - ((a + b*ArcCoth[c*x])*(d + e*Log[1 - c ^2*x^2]))/x - (b*c*(-(Log[1 - x^(-2)]*(d + e*Log[1 - c^2*x^2])) + e*PolyLo g[2, x^(-2)]))/2
3.3.75.3.1 Defintions of rubi rules used
Int[(a_)*(Fx_), x_Symbol] :> Simp[a Int[Fx, x], x] /; FreeQ[a, x] && !Ma tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.)/((x_)*((d_) + (e_.)*(x_)^(r _.))), x_Symbol] :> Simp[(-Log[1 + d/(e*x^r)])*((a + b*Log[c*x^n])^p/(d*r)) , x] + Simp[b*n*(p/(d*r)) Int[Log[1 + d/(e*x^r)]*((a + b*Log[c*x^n])^(p - 1)/x), x], x] /; FreeQ[{a, b, c, d, e, n, r}, x] && IGtQ[p, 0]
Int[Log[(c_.)*((d_) + (e_.)*(x_)^(n_.))]/(x_), x_Symbol] :> Simp[-PolyLog[2 , (-c)*e*x^n]/n, x] /; FreeQ[{c, d, e, n}, x] && EqQ[c*d, 1]
Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_))^(n_.)]*(b_.))^(p_.)*((f_.) + (g_ .)*(x_))^(q_.)*((h_.) + (i_.)*(x_))^(r_.), x_Symbol] :> Simp[1/e Subst[In t[(g*(x/e))^q*((e*h - d*i)/e + i*(x/e))^r*(a + b*Log[c*x^n])^p, x], x, d + e*x], x] /; FreeQ[{a, b, c, d, e, f, g, h, i, n, p, q, r}, x] && EqQ[e*f - d*g, 0] && (IGtQ[p, 0] || IGtQ[r, 0]) && IntegerQ[2*r]
Int[((a_.) + Log[(c_.)*((d_) + (e_.)*(x_)^(n_))^(p_.)]*(b_.))^(q_.)*(x_)^(m _.)*((f_) + (g_.)*(x_)^(s_))^(r_.), x_Symbol] :> Simp[1/n Subst[Int[x^(Si mplify[(m + 1)/n] - 1)*(f + g*x^(s/n))^r*(a + b*Log[c*(d + e*x)^p])^q, x], x, x^n], x] /; FreeQ[{a, b, c, d, e, f, g, m, n, p, q, r, s}, x] && Integer Q[r] && IntegerQ[s/n] && IntegerQ[Simplify[(m + 1)/n]] && (GtQ[(m + 1)/n, 0 ] || IGtQ[q, 0])
Int[((a_.) + ArcCoth[(c_.)*(x_)]*(b_.))^(p_.)/((d_) + (e_.)*(x_)^2), x_Symb ol] :> Simp[(a + b*ArcCoth[c*x])^(p + 1)/(b*c*d*(p + 1)), x] /; FreeQ[{a, b , c, d, e, p}, x] && EqQ[c^2*d + e, 0] && NeQ[p, -1]
Int[((a_.) + ArcCoth[(c_.)*(x_)]*(b_.))*((d_.) + Log[(f_.) + (g_.)*(x_)^2]* (e_.))*(x_)^(m_.), x_Symbol] :> Simp[x^(m + 1)*(d + e*Log[f + g*x^2])*((a + b*ArcCoth[c*x])/(m + 1)), x] + (-Simp[b*(c/(m + 1)) Int[x^(m + 1)*((d + e*Log[f + g*x^2])/(1 - c^2*x^2)), x], x] - Simp[2*e*(g/(m + 1)) Int[x^(m + 2)*((a + b*ArcCoth[c*x])/(f + g*x^2)), x], x]) /; FreeQ[{a, b, c, d, e, f , g}, x] && ILtQ[m/2, 0]
\[\int \frac {\left (a +b \,\operatorname {arccoth}\left (c x \right )\right ) \left (d +e \ln \left (-c^{2} x^{2}+1\right )\right )}{x^{2}}d x\]
\[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=\int { \frac {{\left (b \operatorname {arcoth}\left (c x\right ) + a\right )} {\left (e \log \left (-c^{2} x^{2} + 1\right ) + d\right )}}{x^{2}} \,d x } \]
\[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=\int \frac {\left (a + b \operatorname {acoth}{\left (c x \right )}\right ) \left (d + e \log {\left (- c^{2} x^{2} + 1 \right )}\right )}{x^{2}}\, dx \]
\[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=\int { \frac {{\left (b \operatorname {arcoth}\left (c x\right ) + a\right )} {\left (e \log \left (-c^{2} x^{2} + 1\right ) + d\right )}}{x^{2}} \,d x } \]
-1/2*(c*(log(c^2*x^2 - 1) - log(x^2)) + 2*arccoth(c*x)/x)*b*d - (c^2*(log( c*x + 1)/c - log(c*x - 1)/c) + log(-c^2*x^2 + 1)/x)*a*e - 1/2*b*e*(log(c*x + 1)^2/x - integrate(-((c*x + 1)*log(c*x - 1)^2 - (I*pi + (I*pi*c + 2*c)* x)*log(c*x + 1) - (-I*pi - I*pi*c*x)*log(c*x - 1))/(c*x^3 + x^2), x)) - a* d/x
\[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=\int { \frac {{\left (b \operatorname {arcoth}\left (c x\right ) + a\right )} {\left (e \log \left (-c^{2} x^{2} + 1\right ) + d\right )}}{x^{2}} \,d x } \]
Timed out. \[ \int \frac {\left (a+b \coth ^{-1}(c x)\right ) \left (d+e \log \left (1-c^2 x^2\right )\right )}{x^2} \, dx=\int \frac {\left (a+b\,\mathrm {acoth}\left (c\,x\right )\right )\,\left (d+e\,\ln \left (1-c^2\,x^2\right )\right )}{x^2} \,d x \]