Integrand size = 21, antiderivative size = 110 \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^2 \, dx=\frac {b^2 e (c+d x)^2}{4 d}-\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))}{2 d}-\frac {e (a+b \text {arccosh}(c+d x))^2}{4 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d} \]
[Out]
Time = 0.15 (sec) , antiderivative size = 110, normalized size of antiderivative = 1.00, number of steps used = 6, 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))^2 \, dx=\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {b e \sqrt {c+d x-1} \sqrt {c+d x+1} (c+d x) (a+b \text {arccosh}(c+d x))}{2 d}-\frac {e (a+b \text {arccosh}(c+d x))^2}{4 d}+\frac {b^2 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))^2 \, dx,x,c+d x\right )}{d} \\ & = \frac {e \text {Subst}\left (\int x (a+b \text {arccosh}(x))^2 \, dx,x,c+d x\right )}{d} \\ & = \frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {(b e) \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 {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))}{2 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d}-\frac {(b e) \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 (b^2 e\right ) \text {Subst}(\int x \, dx,x,c+d x)}{2 d} \\ & = \frac {b^2 e (c+d x)^2}{4 d}-\frac {b e \sqrt {-1+c+d x} (c+d x) \sqrt {1+c+d x} (a+b \text {arccosh}(c+d x))}{2 d}-\frac {e (a+b \text {arccosh}(c+d x))^2}{4 d}+\frac {e (c+d x)^2 (a+b \text {arccosh}(c+d x))^2}{2 d} \\ \end{align*}
Time = 0.32 (sec) , antiderivative size = 167, normalized size of antiderivative = 1.52 \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^2 \, dx=\frac {e \left ((c+d x) \left (2 a^2 (c+d x)+b^2 (c+d x)-2 a b \sqrt {-1+c+d x} \sqrt {1+c+d x}\right )-2 b (c+d x) \left (-2 a (c+d x)+b \sqrt {-1+c+d x} \sqrt {1+c+d x}\right ) \text {arccosh}(c+d x)+b^2 \left (-1+2 c^2+4 c d x+2 d^2 x^2\right ) \text {arccosh}(c+d x)^2-2 a b \log \left (c+d x+\sqrt {-1+c+d x} \sqrt {1+c+d x}\right )\right )}{4 d} \]
[In]
[Out]
Time = 0.09 (sec) , antiderivative size = 175, normalized size of antiderivative = 1.59
method | result | size |
derivativedivides | \(\frac {\frac {e \,a^{2} \left (d x +c \right )^{2}}{2}+e \,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 )+2 e a b \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}\) | \(175\) |
default | \(\frac {\frac {e \,a^{2} \left (d x +c \right )^{2}}{2}+e \,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 )+2 e a b \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}\) | \(175\) |
parts | \(e \,a^{2} \left (\frac {1}{2} d \,x^{2}+c x \right )+\frac {e \,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 {2 e a b \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}\) | \(179\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 233 vs. \(2 (98) = 196\).
Time = 0.28 (sec) , antiderivative size = 233, normalized size of antiderivative = 2.12 \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^2 \, dx=\frac {{\left (2 \, a^{2} + b^{2}\right )} d^{2} e x^{2} + 2 \, {\left (2 \, a^{2} + b^{2}\right )} c d e x + {\left (2 \, b^{2} d^{2} e x^{2} + 4 \, b^{2} c d e x + {\left (2 \, b^{2} c^{2} - b^{2}\right )} e\right )} \log \left (d x + c + \sqrt {d^{2} x^{2} + 2 \, c d x + c^{2} - 1}\right )^{2} + 2 \, {\left (2 \, a b d^{2} e x^{2} + 4 \, a b c d e x + {\left (2 \, a b c^{2} - a b\right )} e - {\left (b^{2} d e x + b^{2} 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 (a b d e x + a b 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))^2 \, dx=e \left (\int a^{2} c\, dx + \int a^{2} d x\, dx + \int b^{2} c \operatorname {acosh}^{2}{\left (c + d x \right )}\, dx + \int 2 a b c \operatorname {acosh}{\left (c + d x \right )}\, dx + \int b^{2} d x \operatorname {acosh}^{2}{\left (c + d x \right )}\, dx + \int 2 a 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))^2 \, dx=\int { {\left (d e x + c e\right )} {\left (b \operatorname {arcosh}\left (d x + c\right ) + a\right )}^{2} \,d x } \]
[In]
[Out]
\[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^2 \, dx=\int { {\left (d e x + c e\right )} {\left (b \operatorname {arcosh}\left (d x + c\right ) + a\right )}^{2} \,d x } \]
[In]
[Out]
Timed out. \[ \int (c e+d e x) (a+b \text {arccosh}(c+d x))^2 \, dx=\int \left (c\,e+d\,e\,x\right )\,{\left (a+b\,\mathrm {acosh}\left (c+d\,x\right )\right )}^2 \,d x \]
[In]
[Out]