Integrand size = 20, antiderivative size = 214 \[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=-\frac {\left (a+b \coth ^{-1}(c+d x)\right )^2 \log \left (\frac {2}{1+c+d x}\right )}{f}+\frac {\left (a+b \coth ^{-1}(c+d x)\right )^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{f}+\frac {b \left (a+b \coth ^{-1}(c+d x)\right ) \operatorname {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{f}-\frac {b \left (a+b \coth ^{-1}(c+d x)\right ) \operatorname {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{f}+\frac {b^2 \operatorname {PolyLog}\left (3,1-\frac {2}{1+c+d x}\right )}{2 f}-\frac {b^2 \operatorname {PolyLog}\left (3,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 f} \]
[Out]
Time = 0.12 (sec) , antiderivative size = 214, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.100, Rules used = {6247, 6060} \[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=-\frac {b \left (a+b \coth ^{-1}(c+d x)\right ) \operatorname {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right )}{f}+\frac {\left (a+b \coth ^{-1}(c+d x)\right )^2 \log \left (\frac {2 d (e+f x)}{(c+d x+1) (-c f+d e+f)}\right )}{f}+\frac {b \operatorname {PolyLog}\left (2,1-\frac {2}{c+d x+1}\right ) \left (a+b \coth ^{-1}(c+d x)\right )}{f}-\frac {\log \left (\frac {2}{c+d x+1}\right ) \left (a+b \coth ^{-1}(c+d x)\right )^2}{f}-\frac {b^2 \operatorname {PolyLog}\left (3,1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right )}{2 f}+\frac {b^2 \operatorname {PolyLog}\left (3,1-\frac {2}{c+d x+1}\right )}{2 f} \]
[In]
[Out]
Rule 6060
Rule 6247
Rubi steps \begin{align*} \text {integral}& = \frac {\text {Subst}\left (\int \frac {\left (a+b \coth ^{-1}(x)\right )^2}{\frac {d e-c f}{d}+\frac {f x}{d}} \, dx,x,c+d x\right )}{d} \\ & = -\frac {\left (a+b \coth ^{-1}(c+d x)\right )^2 \log \left (\frac {2}{1+c+d x}\right )}{f}+\frac {\left (a+b \coth ^{-1}(c+d x)\right )^2 \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{f}+\frac {b \left (a+b \coth ^{-1}(c+d x)\right ) \operatorname {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{f}-\frac {b \left (a+b \coth ^{-1}(c+d x)\right ) \operatorname {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{f}+\frac {b^2 \operatorname {PolyLog}\left (3,1-\frac {2}{1+c+d x}\right )}{2 f}-\frac {b^2 \operatorname {PolyLog}\left (3,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{2 f} \\ \end{align*}
Result contains complex when optimal does not.
Time = 13.43 (sec) , antiderivative size = 1767, normalized size of antiderivative = 8.26 \[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=\frac {a^2 \log (e+f x)}{f}+2 a b \left (\frac {\left (\coth ^{-1}(c+d x)-\text {arctanh}(c+d x)\right ) \log (e+f x)}{f}-\frac {i \left (i \text {arctanh}(c+d x) \left (-\log \left (\frac {1}{\sqrt {1-(c+d x)^2}}\right )+\log \left (i \sinh \left (\text {arctanh}\left (\frac {d e-c f}{f}\right )+\text {arctanh}(c+d x)\right )\right )\right )+\frac {1}{2} \left (-i \left (i \text {arctanh}\left (\frac {d e-c f}{f}\right )+i \text {arctanh}(c+d x)\right )^2-\frac {1}{4} i (\pi -2 i \text {arctanh}(c+d x))^2+2 \left (i \text {arctanh}\left (\frac {d e-c f}{f}\right )+i \text {arctanh}(c+d x)\right ) \log \left (1-e^{2 i \left (i \text {arctanh}\left (\frac {d e-c f}{f}\right )+i \text {arctanh}(c+d x)\right )}\right )+(\pi -2 i \text {arctanh}(c+d x)) \log \left (1-e^{i (\pi -2 i \text {arctanh}(c+d x))}\right )-(\pi -2 i \text {arctanh}(c+d x)) \log \left (2 \sin \left (\frac {1}{2} (\pi -2 i \text {arctanh}(c+d x))\right )\right )-2 \left (i \text {arctanh}\left (\frac {d e-c f}{f}\right )+i \text {arctanh}(c+d x)\right ) \log \left (2 i \sinh \left (\text {arctanh}\left (\frac {d e-c f}{f}\right )+\text {arctanh}(c+d x)\right )\right )-i \operatorname {PolyLog}\left (2,e^{2 i \left (i \text {arctanh}\left (\frac {d e-c f}{f}\right )+i \text {arctanh}(c+d x)\right )}\right )-i \operatorname {PolyLog}\left (2,e^{i (\pi -2 i \text {arctanh}(c+d x))}\right )\right )\right )}{f}\right )-\frac {b^2 (d e-c f+f (c+d x)) \left (1-(c+d x)^2\right ) \left (-\frac {i f \pi ^3-8 d e \coth ^{-1}(c+d x)^3-8 f \coth ^{-1}(c+d x)^3+8 c f \coth ^{-1}(c+d x)^3+24 f \coth ^{-1}(c+d x)^2 \log \left (1-e^{2 \coth ^{-1}(c+d x)}\right )+24 f \coth ^{-1}(c+d x) \operatorname {PolyLog}\left (2,e^{2 \coth ^{-1}(c+d x)}\right )-12 f \operatorname {PolyLog}\left (3,e^{2 \coth ^{-1}(c+d x)}\right )}{24 f^2}+\frac {(-d e-f+c f) (-d e+f+c f) \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^{-\text {arctanh}\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^{-\text {arctanh}\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)+\text {arctanh}\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)+\text {arctanh}\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)+\text {arctanh}\left (\frac {f}{d e-c f}\right )\right )}\right )+12 f \coth ^{-1}(c+d x) \text {arctanh}\left (\frac {f}{d e-c f}\right ) \log \left (\frac {1}{2} i e^{-\coth ^{-1}(c+d x)-\text {arctanh}\left (\frac {f}{d e-c f}\right )} \left (-1+e^{2 \left (\coth ^{-1}(c+d x)+\text {arctanh}\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 (1-\frac {e^{\coth ^{-1}(c+d x)} \sqrt {d e+f-c f}}{\sqrt {d e-(1+c) f}}\right )-6 f \coth ^{-1}(c+d x)^2 \log \left (1+\frac {e^{\coth ^{-1}(c+d x)} \sqrt {d e+f-c f}}{\sqrt {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) \text {arctanh}\left (\frac {f}{d e-c f}\right ) \log \left (i \sinh \left (\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )\right )\right )+12 f \coth ^{-1}(c+d x) \operatorname {PolyLog}\left (2,-e^{\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )}\right )+12 f \coth ^{-1}(c+d x) \operatorname {PolyLog}\left (2,e^{\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )}\right )+6 f \coth ^{-1}(c+d x) \operatorname {PolyLog}\left (2,e^{2 \left (\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )\right )}\right )-12 f \coth ^{-1}(c+d x) \operatorname {PolyLog}\left (2,-\frac {e^{\coth ^{-1}(c+d x)} \sqrt {d e+f-c f}}{\sqrt {d e-(1+c) f}}\right )-12 f \coth ^{-1}(c+d x) \operatorname {PolyLog}\left (2,\frac {e^{\coth ^{-1}(c+d x)} \sqrt {d e+f-c f}}{\sqrt {d e-(1+c) f}}\right )-12 f \operatorname {PolyLog}\left (3,-e^{\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )}\right )-12 f \operatorname {PolyLog}\left (3,e^{\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )}\right )-3 f \operatorname {PolyLog}\left (3,e^{2 \left (\coth ^{-1}(c+d x)+\text {arctanh}\left (\frac {f}{d e-c f}\right )\right )}\right )+12 f \operatorname {PolyLog}\left (3,-\frac {e^{\coth ^{-1}(c+d x)} \sqrt {d e+f-c f}}{\sqrt {d e-(1+c) f}}\right )+12 f \operatorname {PolyLog}\left (3,\frac {e^{\coth ^{-1}(c+d x)} \sqrt {d e+f-c f}}{\sqrt {d e-(1+c) f}}\right )\right )}{6 f^2 (d e+f-c f) (d e-(1+c) f)}\right )}{d (c+d x)^2 (e+f x) \left (1-\frac {1}{(c+d x)^2}\right )} \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 9.72 (sec) , antiderivative size = 1603, normalized size of antiderivative = 7.49
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1603\) |
default | \(\text {Expression too large to display}\) | \(1603\) |
parts | \(\text {Expression too large to display}\) | \(1684\) |
[In]
[Out]
\[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=\int { \frac {{\left (b \operatorname {arcoth}\left (d x + c\right ) + a\right )}^{2}}{f x + e} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=\int \frac {\left (a + b \operatorname {acoth}{\left (c + d x \right )}\right )^{2}}{e + f x}\, dx \]
[In]
[Out]
\[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=\int { \frac {{\left (b \operatorname {arcoth}\left (d x + c\right ) + a\right )}^{2}}{f x + e} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=\int { \frac {{\left (b \operatorname {arcoth}\left (d x + c\right ) + a\right )}^{2}}{f x + e} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\left (a+b \coth ^{-1}(c+d x)\right )^2}{e+f x} \, dx=\int \frac {{\left (a+b\,\mathrm {acoth}\left (c+d\,x\right )\right )}^2}{e+f\,x} \,d x \]
[In]
[Out]