Integrand size = 21, antiderivative size = 209 \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=\frac {3 b^4 e (c+d x)^2}{4 d}-\frac {3 b^3 e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))}{2 d}-\frac {3 b^2 e (a+b \text {arccosh}(c+d x))^2}{4 d}+\frac {3 b^2 e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))^3}{d}-\frac {e (a+b \text {arccosh}(c+d x))^4}{4 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d} \]
[Out]
Time = 0.37 (sec) , antiderivative size = 209, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.286, Rules used = {5996, 12, 5883, 5939, 5893, 30} \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=-\frac {3 b^3 e \sqrt {c+d x-1} (c+d x) \sqrt {c+d x+1} (a+b \text {arccosh}(c+d x))}{2 d}+\frac {3 b^2 e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {3 b^2 e (a+b \text {arccosh}(c+d x))^2}{4 d}-\frac {b e \sqrt {c+d x-1} (c+d x) \sqrt {c+d x+1} (a+b \text {arccosh}(c+d x))^3}{d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d}-\frac {e (a+b \text {arccosh}(c+d x))^4}{4 d}+\frac {3 b^4 e (c+d x)^2}{4 d} \]
[In]
[Out]
Rule 12
Rule 30
Rule 5883
Rule 5893
Rule 5939
Rule 5996
Rubi steps \begin{align*} \text {integral}& = \frac {\text {Subst}\left (\int e x (a+b \text {arccosh}(x))^4 \, dx,x,c+d x\right )}{d} \\ & = \frac {e \text {Subst}\left (\int x (a+b \text {arccosh}(x))^4 \, dx,x,c+d x\right )}{d} \\ & = \frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d}-\frac {(2 b e) \text {Subst}\left (\int \frac {x^2 (a+b \text {arccosh}(x))^3}{\sqrt {-1+x} \sqrt {1+x}} \, dx,x,c+d x\right )}{d} \\ & = -\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))^3}{d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d}-\frac {(b e) \text {Subst}\left (\int \frac {(a+b \text {arccosh}(x))^3}{\sqrt {-1+x} \sqrt {1+x}} \, dx,x,c+d x\right )}{d}+\frac {\left (3 b^2 e\right ) \text {Subst}\left (\int x (a+b \text {arccosh}(x))^2 \, dx,x,c+d x\right )}{d} \\ & = \frac {3 b^2 e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))^3}{d}-\frac {e (a+b \text {arccosh}(c+d x))^4}{4 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d}-\frac {\left (3 b^3 e\right ) \text {Subst}\left (\int \frac {x^2 (a+b \text {arccosh}(x))}{\sqrt {-1+x} \sqrt {1+x}} \, dx,x,c+d x\right )}{d} \\ & = -\frac {3 b^3 e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))}{2 d}+\frac {3 b^2 e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))^3}{d}-\frac {e (a+b \text {arccosh}(c+d x))^4}{4 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d}-\frac {\left (3 b^3 e\right ) \text {Subst}\left (\int \frac {a+b \text {arccosh}(x)}{\sqrt {-1+x} \sqrt {1+x}} \, dx,x,c+d x\right )}{2 d}+\frac {\left (3 b^4 e\right ) \text {Subst}(\int x \, dx,x,c+d x)}{2 d} \\ & = \frac {3 b^4 e (c+d x)^2}{4 d}-\frac {3 b^3 e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))}{2 d}-\frac {3 b^2 e (a+b \text {arccosh}(c+d x))^2}{4 d}+\frac {3 b^2 e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))^3}{d}-\frac {e (a+b \text {arccosh}(c+d x))^4}{4 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^4}{2 d} \\ \end{align*}
Time = 0.58 (sec) , antiderivative size = 360, normalized size of antiderivative = 1.72 \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=\frac {e \left (\left (2 a^4+6 a^2 b^2+3 b^4\right ) (c+d x)^2-2 a b \left (2 a^2+3 b^2\right ) \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x}-2 b (c+d x) \left (-4 a^3 (c+d x)-6 a b^2 (c+d x)+6 a^2 b \sqrt {-1+c+d x} \sqrt {1+c+d x}+3 b^3 \sqrt {-1+c+d x} \sqrt {1+c+d x}\right ) \text {arccosh}(c+d x)+3 b^2 \left (-2 a^2-b^2+4 a^2 (c+d x)^2+2 b^2 (c+d x)^2-4 a b \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x}\right ) \text {arccosh}(c+d x)^2+4 b^3 \left (-a+2 a (c+d x)^2-b \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x}\right ) \text {arccosh}(c+d x)^3+b^4 \left (-1+2 (c+d x)^2\right ) \text {arccosh}(c+d x)^4-2 a b \left (2 a^2+3 b^2\right ) \log \left (c+d x+\sqrt {-1+c+d x} \sqrt {1+c+d x}\right )\right )}{4 d} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(421\) vs. \(2(189)=378\).
Time = 0.10 (sec) , antiderivative size = 422, normalized size of antiderivative = 2.02
method | result | size |
derivativedivides | \(\frac {\frac {e \,a^{4} \left (d x +c \right )^{2}}{2}+e \,b^{4} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{4}}{2}-\left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right )^{3} \sqrt {d x +c -1}\, \sqrt {d x +c +1}-\frac {\operatorname {arccosh}\left (d x +c \right )^{4}}{4}+\frac {3 \left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{2}}{2}-\frac {3 \left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right ) \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{2}-\frac {3 \operatorname {arccosh}\left (d x +c \right )^{2}}{4}+\frac {3 \left (d x +c \right )^{2}}{4}\right )+4 e a \,b^{3} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{3}}{2}-\frac {3 \left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right )^{2} \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{4}-\frac {\operatorname {arccosh}\left (d x +c \right )^{3}}{4}+\frac {3 \left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )}{4}-\frac {3 \sqrt {d x +c +1}\, \sqrt {d x +c -1}\, \left (d x +c \right )}{8}-\frac {3 \,\operatorname {arccosh}\left (d x +c \right )}{8}\right )+6 e \,a^{2} b^{2} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{2}}{2}-\frac {\left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right ) \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{2}-\frac {\operatorname {arccosh}\left (d x +c \right )^{2}}{4}+\frac {\left (d x +c \right )^{2}}{4}\right )+4 e b \,a^{3} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )}{2}-\frac {\sqrt {d x +c -1}\, \sqrt {d x +c +1}\, \left (\left (d x +c \right ) \sqrt {\left (d x +c \right )^{2}-1}+\ln \left (d x +c +\sqrt {\left (d x +c \right )^{2}-1}\right )\right )}{4 \sqrt {\left (d x +c \right )^{2}-1}}\right )}{d}\) | \(422\) |
default | \(\frac {\frac {e \,a^{4} \left (d x +c \right )^{2}}{2}+e \,b^{4} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{4}}{2}-\left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right )^{3} \sqrt {d x +c -1}\, \sqrt {d x +c +1}-\frac {\operatorname {arccosh}\left (d x +c \right )^{4}}{4}+\frac {3 \left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{2}}{2}-\frac {3 \left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right ) \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{2}-\frac {3 \operatorname {arccosh}\left (d x +c \right )^{2}}{4}+\frac {3 \left (d x +c \right )^{2}}{4}\right )+4 e a \,b^{3} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{3}}{2}-\frac {3 \left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right )^{2} \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{4}-\frac {\operatorname {arccosh}\left (d x +c \right )^{3}}{4}+\frac {3 \left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )}{4}-\frac {3 \sqrt {d x +c +1}\, \sqrt {d x +c -1}\, \left (d x +c \right )}{8}-\frac {3 \,\operatorname {arccosh}\left (d x +c \right )}{8}\right )+6 e \,a^{2} b^{2} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{2}}{2}-\frac {\left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right ) \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{2}-\frac {\operatorname {arccosh}\left (d x +c \right )^{2}}{4}+\frac {\left (d x +c \right )^{2}}{4}\right )+4 e b \,a^{3} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )}{2}-\frac {\sqrt {d x +c -1}\, \sqrt {d x +c +1}\, \left (\left (d x +c \right ) \sqrt {\left (d x +c \right )^{2}-1}+\ln \left (d x +c +\sqrt {\left (d x +c \right )^{2}-1}\right )\right )}{4 \sqrt {\left (d x +c \right )^{2}-1}}\right )}{d}\) | \(422\) |
parts | \(e \,a^{4} \left (\frac {1}{2} d \,x^{2}+c x \right )+\frac {e \,b^{4} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{4}}{2}-\left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right )^{3} \sqrt {d x +c -1}\, \sqrt {d x +c +1}-\frac {\operatorname {arccosh}\left (d x +c \right )^{4}}{4}+\frac {3 \left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{2}}{2}-\frac {3 \left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right ) \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{2}-\frac {3 \operatorname {arccosh}\left (d x +c \right )^{2}}{4}+\frac {3 \left (d x +c \right )^{2}}{4}\right )}{d}+\frac {4 e a \,b^{3} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{3}}{2}-\frac {3 \left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right )^{2} \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{4}-\frac {\operatorname {arccosh}\left (d x +c \right )^{3}}{4}+\frac {3 \left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )}{4}-\frac {3 \sqrt {d x +c +1}\, \sqrt {d x +c -1}\, \left (d x +c \right )}{8}-\frac {3 \,\operatorname {arccosh}\left (d x +c \right )}{8}\right )}{d}+\frac {6 e \,a^{2} b^{2} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )^{2}}{2}-\frac {\left (d x +c \right ) \operatorname {arccosh}\left (d x +c \right ) \sqrt {d x +c -1}\, \sqrt {d x +c +1}}{2}-\frac {\operatorname {arccosh}\left (d x +c \right )^{2}}{4}+\frac {\left (d x +c \right )^{2}}{4}\right )}{d}+\frac {4 e b \,a^{3} \left (\frac {\left (d x +c \right )^{2} \operatorname {arccosh}\left (d x +c \right )}{2}-\frac {\sqrt {d x +c -1}\, \sqrt {d x +c +1}\, \left (\left (d x +c \right ) \sqrt {\left (d x +c \right )^{2}-1}+\ln \left (d x +c +\sqrt {\left (d x +c \right )^{2}-1}\right )\right )}{4 \sqrt {\left (d x +c \right )^{2}-1}}\right )}{d}\) | \(432\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 579 vs. \(2 (189) = 378\).
Time = 0.28 (sec) , antiderivative size = 579, normalized size of antiderivative = 2.77 \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=\frac {{\left (2 \, a^{4} + 6 \, a^{2} b^{2} + 3 \, b^{4}\right )} d^{2} e x^{2} + 2 \, {\left (2 \, a^{4} + 6 \, a^{2} b^{2} + 3 \, b^{4}\right )} c d e x + {\left (2 \, b^{4} d^{2} e x^{2} + 4 \, b^{4} c d e x + {\left (2 \, b^{4} c^{2} - b^{4}\right )} e\right )} \log \left (d x + c + \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )^{4} + 4 \, {\left (2 \, a b^{3} d^{2} e x^{2} + 4 \, a b^{3} c d e x + {\left (2 \, a b^{3} c^{2} - a b^{3}\right )} e - {\left (b^{4} d e x + b^{4} c e\right )} \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )} \log \left (d x + c + \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )^{3} + 3 \, {\left (2 \, {\left (2 \, a^{2} b^{2} + b^{4}\right )} d^{2} e x^{2} + 4 \, {\left (2 \, a^{2} b^{2} + b^{4}\right )} c d e x - {\left (2 \, a^{2} b^{2} + b^{4} - 2 \, {\left (2 \, a^{2} b^{2} + b^{4}\right )} c^{2}\right )} e - 4 \, {\left (a b^{3} d e x + a b^{3} c e\right )} \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )} \log \left (d x + c + \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )^{2} + 2 \, {\left (2 \, {\left (2 \, a^{3} b + 3 \, a b^{3}\right )} d^{2} e x^{2} + 4 \, {\left (2 \, a^{3} b + 3 \, a b^{3}\right )} c d e x - {\left (2 \, a^{3} b + 3 \, a b^{3} - 2 \, {\left (2 \, a^{3} b + 3 \, a b^{3}\right )} c^{2}\right )} e - 3 \, {\left ({\left (2 \, a^{2} b^{2} + b^{4}\right )} d e x + {\left (2 \, a^{2} b^{2} + b^{4}\right )} c e\right )} \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )} \log \left (d x + c + \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right ) - 2 \, {\left ({\left (2 \, a^{3} b + 3 \, a b^{3}\right )} d e x + {\left (2 \, a^{3} b + 3 \, a b^{3}\right )} c e\right )} \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}}{4 \, d} \]
[In]
[Out]
\[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=e \left (\int a^{4} c\, dx + \int a^{4} d x\, dx + \int b^{4} c \operatorname {acosh}^{4}{\left (c + d x \right )}\, dx + \int 4 a b^{3} c \operatorname {acosh}^{3}{\left (c + d x \right )}\, dx + \int 6 a^{2} b^{2} c \operatorname {acosh}^{2}{\left (c + d x \right )}\, dx + \int 4 a^{3} b c \operatorname {acosh}{\left (c + d x \right )}\, dx + \int b^{4} d x \operatorname {acosh}^{4}{\left (c + d x \right )}\, dx + \int 4 a b^{3} d x \operatorname {acosh}^{3}{\left (c + d x \right )}\, dx + \int 6 a^{2} b^{2} d x \operatorname {acosh}^{2}{\left (c + d x \right )}\, dx + \int 4 a^{3} b d x \operatorname {acosh}{\left (c + d x \right )}\, dx\right ) \]
[In]
[Out]
\[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=\int { {\left (d e x + c e\right )} {\left (b \operatorname {arcosh}\left (d x + c\right ) + a\right )}^{4} \,d x } \]
[In]
[Out]
\[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=\int { {\left (d e x + c e\right )} {\left (b \operatorname {arcosh}\left (d x + c\right ) + a\right )}^{4} \,d x } \]
[In]
[Out]
Timed out. \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^4 \, dx=\int \left (c\,e+d\,e\,x\right )\,{\left (a+b\,\mathrm {acosh}\left (c+d\,x\right )\right )}^4 \,d x \]
[In]
[Out]