Integrand size = 10, antiderivative size = 153 \[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\frac {5 a \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^3}-\frac {x \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^2}+\frac {a^3 \text {sech}^{-1}(a+b x)}{3 b^3}+\frac {1}{3} x^3 \text {sech}^{-1}(a+b x)-\frac {\left (1+6 a^2\right ) \arctan \left (\frac {\sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{a+b x}\right )}{6 b^3} \]
[Out]
Time = 0.08 (sec) , antiderivative size = 153, normalized size of antiderivative = 1.00, number of steps used = 7, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.600, Rules used = {6456, 5576, 3867, 3855, 3852, 8} \[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\frac {a^3 \text {sech}^{-1}(a+b x)}{3 b^3}-\frac {\left (6 a^2+1\right ) \arctan \left (\frac {\sqrt {\frac {-a-b x+1}{a+b x+1}} (a+b x+1)}{a+b x}\right )}{6 b^3}+\frac {5 a \sqrt {\frac {-a-b x+1}{a+b x+1}} (a+b x+1)}{6 b^3}-\frac {x \sqrt {\frac {-a-b x+1}{a+b x+1}} (a+b x+1)}{6 b^2}+\frac {1}{3} x^3 \text {sech}^{-1}(a+b x) \]
[In]
[Out]
Rule 8
Rule 3852
Rule 3855
Rule 3867
Rule 5576
Rule 6456
Rubi steps \begin{align*} \text {integral}& = -\frac {\text {Subst}\left (\int x \text {sech}(x) (-a+\text {sech}(x))^2 \tanh (x) \, dx,x,\text {sech}^{-1}(a+b x)\right )}{b^3} \\ & = \frac {1}{3} x^3 \text {sech}^{-1}(a+b x)-\frac {\text {Subst}\left (\int (-a+\text {sech}(x))^3 \, dx,x,\text {sech}^{-1}(a+b x)\right )}{3 b^3} \\ & = -\frac {x \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^2}+\frac {1}{3} x^3 \text {sech}^{-1}(a+b x)-\frac {\text {Subst}\left (\int \left (-2 a^3+\left (1+6 a^2\right ) \text {sech}(x)-5 a \text {sech}^2(x)\right ) \, dx,x,\text {sech}^{-1}(a+b x)\right )}{6 b^3} \\ & = -\frac {x \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^2}+\frac {a^3 \text {sech}^{-1}(a+b x)}{3 b^3}+\frac {1}{3} x^3 \text {sech}^{-1}(a+b x)+\frac {(5 a) \text {Subst}\left (\int \text {sech}^2(x) \, dx,x,\text {sech}^{-1}(a+b x)\right )}{6 b^3}-\frac {\left (1+6 a^2\right ) \text {Subst}\left (\int \text {sech}(x) \, dx,x,\text {sech}^{-1}(a+b x)\right )}{6 b^3} \\ & = -\frac {x \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^2}+\frac {a^3 \text {sech}^{-1}(a+b x)}{3 b^3}+\frac {1}{3} x^3 \text {sech}^{-1}(a+b x)-\frac {\left (1+6 a^2\right ) \arctan \left (\frac {\sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{a+b x}\right )}{6 b^3}+\frac {(5 i a) \text {Subst}\left (\int 1 \, dx,x,-i \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)\right )}{6 b^3} \\ & = \frac {5 a \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^3}-\frac {x \sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{6 b^2}+\frac {a^3 \text {sech}^{-1}(a+b x)}{3 b^3}+\frac {1}{3} x^3 \text {sech}^{-1}(a+b x)-\frac {\left (1+6 a^2\right ) \arctan \left (\frac {\sqrt {\frac {1-a-b x}{1+a+b x}} (1+a+b x)}{a+b x}\right )}{6 b^3} \\ \end{align*}
Result contains complex when optimal does not.
Time = 0.25 (sec) , antiderivative size = 200, normalized size of antiderivative = 1.31 \[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\frac {\sqrt {-\frac {-1+a+b x}{1+a+b x}} \left (5 a^2-b x (1+b x)+a (5+4 b x)\right )+2 b^3 x^3 \text {sech}^{-1}(a+b x)-2 a^3 \log (a+b x)+2 a^3 \log \left (1+\sqrt {-\frac {-1+a+b x}{1+a+b x}}+a \sqrt {-\frac {-1+a+b x}{1+a+b x}}+b x \sqrt {-\frac {-1+a+b x}{1+a+b x}}\right )+i \left (1+6 a^2\right ) \log \left (-2 i (a+b x)+2 \sqrt {-\frac {-1+a+b x}{1+a+b x}} (1+a+b x)\right )}{6 b^3} \]
[In]
[Out]
Time = 0.73 (sec) , antiderivative size = 189, normalized size of antiderivative = 1.24
method | result | size |
derivativedivides | \(\frac {-\frac {\operatorname {arcsech}\left (b x +a \right ) a^{3}}{3}+\operatorname {arcsech}\left (b x +a \right ) a^{2} \left (b x +a \right )-\operatorname {arcsech}\left (b x +a \right ) a \left (b x +a \right )^{2}+\frac {\operatorname {arcsech}\left (b x +a \right ) \left (b x +a \right )^{3}}{3}+\frac {\sqrt {-\frac {b x +a -1}{b x +a}}\, \left (b x +a \right ) \sqrt {\frac {b x +a +1}{b x +a}}\, \left (2 a^{3} \operatorname {arctanh}\left (\frac {1}{\sqrt {1-\left (b x +a \right )^{2}}}\right )+6 a^{2} \arcsin \left (b x +a \right )+6 a \sqrt {1-\left (b x +a \right )^{2}}-\left (b x +a \right ) \sqrt {1-\left (b x +a \right )^{2}}+\arcsin \left (b x +a \right )\right )}{6 \sqrt {1-\left (b x +a \right )^{2}}}}{b^{3}}\) | \(189\) |
default | \(\frac {-\frac {\operatorname {arcsech}\left (b x +a \right ) a^{3}}{3}+\operatorname {arcsech}\left (b x +a \right ) a^{2} \left (b x +a \right )-\operatorname {arcsech}\left (b x +a \right ) a \left (b x +a \right )^{2}+\frac {\operatorname {arcsech}\left (b x +a \right ) \left (b x +a \right )^{3}}{3}+\frac {\sqrt {-\frac {b x +a -1}{b x +a}}\, \left (b x +a \right ) \sqrt {\frac {b x +a +1}{b x +a}}\, \left (2 a^{3} \operatorname {arctanh}\left (\frac {1}{\sqrt {1-\left (b x +a \right )^{2}}}\right )+6 a^{2} \arcsin \left (b x +a \right )+6 a \sqrt {1-\left (b x +a \right )^{2}}-\left (b x +a \right ) \sqrt {1-\left (b x +a \right )^{2}}+\arcsin \left (b x +a \right )\right )}{6 \sqrt {1-\left (b x +a \right )^{2}}}}{b^{3}}\) | \(189\) |
parts | \(\frac {x^{3} \operatorname {arcsech}\left (b x +a \right )}{3}+\frac {\sqrt {-\frac {b x +a -1}{b x +a}}\, \left (b x +a \right ) \sqrt {\frac {b x +a +1}{b x +a}}\, \left (2 \,\operatorname {arctanh}\left (\frac {1}{\sqrt {-b^{2} x^{2}-2 a b x -a^{2}+1}}\right ) \operatorname {csgn}\left (b \right ) a^{3}-\sqrt {-b^{2} x^{2}-2 a b x -a^{2}+1}\, \operatorname {csgn}\left (b \right ) b x +5 \sqrt {-b^{2} x^{2}-2 a b x -a^{2}+1}\, \operatorname {csgn}\left (b \right ) a +6 \arctan \left (\frac {\operatorname {csgn}\left (b \right ) \left (b x +a \right )}{\sqrt {-b^{2} x^{2}-2 a b x -a^{2}+1}}\right ) a^{2}+\arctan \left (\frac {\operatorname {csgn}\left (b \right ) \left (b x +a \right )}{\sqrt {-b^{2} x^{2}-2 a b x -a^{2}+1}}\right )\right ) \operatorname {csgn}\left (b \right )}{6 b^{3} \sqrt {-b^{2} x^{2}-2 a b x -a^{2}+1}}\) | \(233\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 327 vs. \(2 (131) = 262\).
Time = 0.30 (sec) , antiderivative size = 327, normalized size of antiderivative = 2.14 \[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\frac {2 \, b^{3} x^{3} \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 1}{b x + a}\right ) + a^{3} \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} + 1}{x}\right ) - a^{3} \log \left (\frac {{\left (b x + a\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}} - 1}{x}\right ) - {\left (6 \, a^{2} + 1\right )} \arctan \left (\frac {{\left (b^{2} x^{2} + 2 \, a b x + a^{2}\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}}}{b^{2} x^{2} + 2 \, a b x + a^{2} - 1}\right ) - {\left (b^{2} x^{2} - 4 \, a b x - 5 \, a^{2}\right )} \sqrt {-\frac {b^{2} x^{2} + 2 \, a b x + a^{2} - 1}{b^{2} x^{2} + 2 \, a b x + a^{2}}}}{6 \, b^{3}} \]
[In]
[Out]
\[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\int x^{2} \operatorname {asech}{\left (a + b x \right )}\, dx \]
[In]
[Out]
\[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\int { x^{2} \operatorname {arsech}\left (b x + a\right ) \,d x } \]
[In]
[Out]
\[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\int { x^{2} \operatorname {arsech}\left (b x + a\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int x^2 \text {sech}^{-1}(a+b x) \, dx=\int x^2\,\mathrm {acosh}\left (\frac {1}{a+b\,x}\right ) \,d x \]
[In]
[Out]