Optimal. Leaf size=1089 \[ -\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}+\frac {3 a^2 b d \log (e+f x)}{f^2-(d e-c f)^2}-\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {PolyLog}\left (2,-\frac {1+c+d x}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 a b^2 d \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 a b^2 d \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 b^3 d \coth ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2}{1-c-d x}\right )}{4 f (d e+f-c f)}+\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)}-\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {PolyLog}\left (3,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.94, antiderivative size = 1094, normalized size of antiderivative = 1.00, number of steps
used = 30, number of rules used = 18, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.900, Rules used = {6245, 6873,
6257, 6820, 12, 6857, 84, 6874, 6056, 2449, 2352, 6058, 2497, 6096, 6206, 6745, 6204, 6060}
\begin {gather*} \frac {3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{-c-d x+1}\right ) b^3}{2 f (d e-c f+f)}-\frac {3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{c+d x+1}\right ) b^3}{2 f (d e-c f-f)}+\frac {3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{c+d x+1}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}-\frac {3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{-c-d x+1}\right ) b^3}{2 f (d e-c f+f)}+\frac {3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^3}{2 f (d e-c f-f)}-\frac {3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^3}{(d e-c f+f) (d e-(c+1) f)}-\frac {3 d \text {Li}_3\left (1-\frac {2}{-c-d x+1}\right ) b^3}{4 f (d e-c f+f)}+\frac {3 d \text {Li}_3\left (1-\frac {2}{c+d x+1}\right ) b^3}{4 f (d e-c f-f)}-\frac {3 d \text {Li}_3\left (1-\frac {2}{c+d x+1}\right ) b^3}{2 (d e-c f+f) (d e-(c+1) f)}+\frac {3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^3}{2 (d e-c f+f) (d e-(c+1) f)}+\frac {3 a d \coth ^{-1}(c+d x) \log \left (\frac {2}{-c-d x+1}\right ) b^2}{f (d e-c f+f)}-\frac {3 a d \coth ^{-1}(c+d x) \log \left (\frac {2}{c+d x+1}\right ) b^2}{f (d e-c f-f)}+\frac {6 a d \coth ^{-1}(c+d x) \log \left (\frac {2}{c+d x+1}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}-\frac {6 a d \coth ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 a d \text {Li}_2\left (-\frac {c+d x+1}{-c-d x+1}\right ) b^2}{2 f (d e-c f+f)}+\frac {3 a d \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^2}{2 f (d e-c f-f)}-\frac {3 a d \text {Li}_2\left (1-\frac {2}{c+d x+1}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}+\frac {3 a d \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right ) b^2}{(d e-c f+f) (d e-(c+1) f)}-\frac {3 a^2 d \log (-c-d x+1) b}{2 f (d e-c f+f)}+\frac {3 a^2 d \log (c+d x+1) b}{2 f (d e-c f-f)}-\frac {3 a^2 d \log (e+f x) b}{(d e-c f+f) (d e-(c+1) f)}-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 84
Rule 2352
Rule 2449
Rule 2497
Rule 6056
Rule 6058
Rule 6060
Rule 6096
Rule 6204
Rule 6206
Rule 6245
Rule 6257
Rule 6745
Rule 6820
Rule 6857
Rule 6873
Rule 6874
Rubi steps
\begin {align*} \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{(e+f x)^2} \, dx &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{(e+f x) \left (1-(c+d x)^2\right )} \, dx}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{(e+f x) \left (1-c^2-2 c d x-d^2 x^2\right )} \, dx}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b) \text {Subst}\left (\int \frac {\left (a+b \coth ^{-1}(x)\right )^2}{\left (\frac {d e-c f}{d}+\frac {f x}{d}\right ) \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b) \text {Subst}\left (\int \frac {d \left (a+b \coth ^{-1}(x)\right )^2}{(d e-c f+f x) \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \text {Subst}\left (\int \frac {\left (a+b \coth ^{-1}(x)\right )^2}{(d e-c f+f x) \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {(3 b d) \text {Subst}\left (\int \left (-\frac {a^2}{(-1+x) (1+x) (d e-c f+f x)}-\frac {2 a b \coth ^{-1}(x)}{(-1+x) (1+x) (d e-c f+f x)}-\frac {b^2 \coth ^{-1}(x)^2}{(-1+x) (1+x) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}-\frac {\left (3 a^2 b d\right ) \text {Subst}\left (\int \frac {1}{(-1+x) (1+x) (d e-c f+f x)} \, dx,x,c+d x\right )}{f}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{(-1+x) (1+x) (d e-c f+f x)} \, dx,x,c+d x\right )}{f}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)^2}{(-1+x) (1+x) (d e-c f+f x)} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}-\frac {\left (3 a^2 b d\right ) \text {Subst}\left (\int \left (\frac {1}{2 (d e+f-c f) (-1+x)}+\frac {1}{2 (-d e+(1+c) f) (1+x)}+\frac {f^2}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \left (\frac {\coth ^{-1}(x)}{2 (d e+f-c f) (-1+x)}+\frac {\coth ^{-1}(x)}{2 (-d e+(1+c) f) (1+x)}+\frac {f^2 \coth ^{-1}(x)}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \left (\frac {\coth ^{-1}(x)^2}{2 (d e+f-c f) (-1+x)}+\frac {\coth ^{-1}(x)^2}{2 (-d e+(1+c) f) (1+x)}+\frac {f^2 \coth ^{-1}(x)^2}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{1+x} \, dx,x,c+d x\right )}{f (d e-f-c f)}+\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)^2}{1+x} \, dx,x,c+d x\right )}{2 f (d e-f-c f)}-\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{-1+x} \, dx,x,c+d x\right )}{f (d e+f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)^2}{-1+x} \, dx,x,c+d x\right )}{2 f (d e+f-c f)}-\frac {\left (6 a b^2 d f\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)}{d e-c f+f x} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {\left (3 b^3 d f\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x)^2}{d e-c f+f x} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}-\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e-f-c f)}+\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x) \log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e-f-c f)}-\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e+f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\coth ^{-1}(x) \log \left (\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{f (d e+f-c f)}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2 (d e-c f+f x)}{(d e+f-c f) (1+x)}\right )}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}-\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c+d x}\right )}{f (d e-f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (1-\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{2 f (d e-f-c f)}+\frac {\left (3 a b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-c-d x}\right )}{f (d e+f-c f)}-\frac {\left (3 b^3 d\right ) \text {Subst}\left (\int \frac {\text {Li}_2\left (1-\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{2 f (d e+f-c f)}-\frac {\left (6 a b^2 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^3}{f (e+f x)}+\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}-\frac {3 a^2 b d \log (1-c-d x)}{2 f (d e+f-c f)}-\frac {3 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{f (d e-f-c f)}+\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a^2 b d \log (1+c+d x)}{2 f (d e-f-c f)}-\frac {3 a^2 b d \log (e+f x)}{(d e+f-c f) (d e-(1+c) f)}-\frac {6 a b^2 d \coth ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \coth ^{-1}(c+d x)^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)}-\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 a b^2 d \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \coth ^{-1}(c+d x) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f) (d e-(1+c) f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1-c-d x}\right )}{4 f (d e+f-c f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)}-\frac {3 b^3 d \text {Li}_3\left (1-\frac {2}{1+c+d x}\right )}{2 (d e+f-c f) (d e-(1+c) f)}+\frac {3 b^3 d \text {Li}_3\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 (d e+f-c f) (d e-(1+c) f)}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 13.45, size = 1818, normalized size = 1.67 \begin {gather*} -\frac {a^3}{f (e+f x)}-\frac {3 a^2 b \coth ^{-1}(c+d x)}{f (e+f x)}+\frac {3 a^2 b d \log (1-c-d x)}{2 f (-d e-f+c f)}-\frac {3 a^2 b d \log (1+c+d x)}{2 f (-d e+f+c f)}-\frac {3 a^2 b d \log (e+f x)}{d^2 e^2-2 c d e f-f^2+c^2 f^2}+\frac {3 a b^2 \left (1-(c+d x)^2\right ) \left (\frac {f}{\sqrt {1-\frac {1}{(c+d x)^2}}}+\frac {d e-c f}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}\right )^2 \left (\frac {e^{\tanh ^{-1}\left (\frac {f}{-d e+c f}\right )} \coth ^{-1}(c+d x)^2}{(-d e+c f) \sqrt {1-\frac {f^2}{(d e-c f)^2}}}+\frac {\coth ^{-1}(c+d x)^2}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}} \left (\frac {f}{\sqrt {1-\frac {1}{(c+d x)^2}}}+\frac {d e-c f}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}\right )}+\frac {f \left (i \pi \coth ^{-1}(c+d x)+2 \coth ^{-1}(c+d x) \tanh ^{-1}\left (\frac {f}{d e-c f}\right )-i \pi \log \left (1+e^{2 \coth ^{-1}(c+d x)}\right )+2 \coth ^{-1}(c+d x) \log \left (1-e^{-2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )-2 \tanh ^{-1}\left (\frac {f}{-d e+c f}\right ) \log \left (1-e^{-2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )+i \pi \log \left (\frac {1}{\sqrt {1-\frac {1}{(c+d x)^2}}}\right )+2 \tanh ^{-1}\left (\frac {f}{-d e+c f}\right ) \log \left (i \sinh \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )\right )-\text {PolyLog}\left (2,e^{-2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )\right )}{d^2 e^2-2 c d e f+\left (-1+c^2\right ) f^2}\right )}{d f (e+f x)^2}-\frac {b^3 \left (1-(c+d x)^2\right ) \left (\frac {f}{\sqrt {1-\frac {1}{(c+d x)^2}}}+\frac {d e-c f}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}\right )^2 \left (\frac {d \coth ^{-1}(c+d x)^3}{f (c+d x) \sqrt {1-\frac {1}{(c+d x)^2}} \left (-\frac {f}{\sqrt {1-\frac {1}{(c+d x)^2}}}-\frac {d e}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}+\frac {c f}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}\right )}-\frac {d \left (2 d e \coth ^{-1}(c+d x)^3-6 f \coth ^{-1}(c+d x)^3-2 c f \coth ^{-1}(c+d x)^3-4 d e e^{-\tanh ^{-1}\left (\frac {f}{d e-c f}\right )} \sqrt {\frac {d^2 e^2-2 c d e f+\left (-1+c^2\right ) f^2}{(d e-c f)^2}} \coth ^{-1}(c+d x)^3+4 c e^{-\tanh ^{-1}\left (\frac {f}{d e-c f}\right )} f \sqrt {\frac {d^2 e^2-2 c d e f+\left (-1+c^2\right ) f^2}{(d e-c f)^2}} \coth ^{-1}(c+d x)^3+6 i f \pi \coth ^{-1}(c+d x) \log (2)-f \coth ^{-1}(c+d x)^2 \log (64)-6 i f \pi \coth ^{-1}(c+d x) \log \left (e^{-\coth ^{-1}(c+d x)}+e^{\coth ^{-1}(c+d x)}\right )+6 f \coth ^{-1}(c+d x)^2 \log \left (1-e^{\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )}\right )+6 f \coth ^{-1}(c+d x)^2 \log \left (1+e^{\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )}\right )+6 f \coth ^{-1}(c+d x)^2 \log \left (1-e^{2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )+12 f \coth ^{-1}(c+d x) \tanh ^{-1}\left (\frac {f}{d e-c f}\right ) \log \left (\frac {1}{2} i e^{-\coth ^{-1}(c+d x)-\tanh ^{-1}\left (\frac {f}{d e-c f}\right )} \left (-1+e^{2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )\right )+6 f \coth ^{-1}(c+d x)^2 \log \left (-e^{-\coth ^{-1}(c+d x)} \left (d e \left (-1+e^{2 \coth ^{-1}(c+d x)}\right )+\left (1+c+e^{2 \coth ^{-1}(c+d x)}-c e^{2 \coth ^{-1}(c+d x)}\right ) f\right )\right )-6 f \coth ^{-1}(c+d x)^2 \log \left (\frac {-d e \left (-1+e^{2 \coth ^{-1}(c+d x)}\right )+\left (-1-e^{2 \coth ^{-1}(c+d x)}+c \left (-1+e^{2 \coth ^{-1}(c+d x)}\right )\right ) f}{d e-(1+c) f}\right )+6 i f \pi \coth ^{-1}(c+d x) \log \left (\frac {1}{\sqrt {1-\frac {1}{(c+d x)^2}}}\right )-6 f \coth ^{-1}(c+d x)^2 \log \left (-\frac {f}{\sqrt {1-\frac {1}{(c+d x)^2}}}-\frac {d e}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}+\frac {c f}{(c+d x) \sqrt {1-\frac {1}{(c+d x)^2}}}\right )-12 f \coth ^{-1}(c+d x) \tanh ^{-1}\left (\frac {f}{d e-c f}\right ) \log \left (i \sinh \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )\right )+12 f \coth ^{-1}(c+d x) \text {PolyLog}\left (2,-e^{\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )}\right )+12 f \coth ^{-1}(c+d x) \text {PolyLog}\left (2,e^{\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )}\right )+6 f \coth ^{-1}(c+d x) \text {PolyLog}\left (2,e^{2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )-6 f \coth ^{-1}(c+d x) \text {PolyLog}\left (2,\frac {e^{2 \coth ^{-1}(c+d x)} (d e+f-c f)}{d e-(1+c) f}\right )-12 f \text {PolyLog}\left (3,-e^{\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )}\right )-12 f \text {PolyLog}\left (3,e^{\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )}\right )-3 f \text {PolyLog}\left (3,e^{2 \left (\coth ^{-1}(c+d x)+\tanh ^{-1}\left (\frac {f}{d e-c f}\right )\right )}\right )+3 f \text {PolyLog}\left (3,\frac {e^{2 \coth ^{-1}(c+d x)} (d e+f-c f)}{d e-(1+c) f}\right )\right )}{2 f (d e+f-c f) (d e-(1+c) f)}\right )}{d^2 (e+f x)^2} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
4.
time = 6.29, size = 4599, normalized size = 4.22
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(4599\) |
default | \(\text {Expression too large to display}\) | \(4599\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \operatorname {acoth}{\left (c + d x \right )}\right )^{3}}{\left (e + f x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\mathrm {acoth}\left (c+d\,x\right )\right )}^3}{{\left (e+f\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________