17.1 Problem number 519

\[ \int (f x)^m \left (d+e x^2\right )^3 \left (a+b \cosh ^{-1}(c x)\right ) \, dx \]

Optimal antiderivative \[ \frac {d^{3} \left (f x \right )^{1+m} \left (a +b \,\mathrm {arccosh}\! \left (c x \right )\right )}{f \left (1+m \right )}+\frac {3 d^{2} e \left (f x \right )^{3+m} \left (a +b \,\mathrm {arccosh}\! \left (c x \right )\right )}{f^{3} \left (3+m \right )}+\frac {3 d \,e^{2} \left (f x \right )^{5+m} \left (a +b \,\mathrm {arccosh}\! \left (c x \right )\right )}{f^{5} \left (5+m \right )}+\frac {e^{3} \left (f x \right )^{7+m} \left (a +b \,\mathrm {arccosh}\! \left (c x \right )\right )}{f^{7} \left (7+m \right )}+\frac {b e \left (3 c^{2} d e \left (7+m \right )^{2} \left (m^{2}+7 m +12\right )+3 c^{4} d^{2} \left (m^{2}+12 m +35\right )^{2}+e^{2} \left (m^{4}+18 m^{3}+119 m^{2}+342 m +360\right )\right ) \left (f x \right )^{2+m} \left (-c^{2} x^{2}+1\right )}{c^{5} f^{2} \left (3+m \right )^{2} \left (5+m \right )^{2} \left (7+m \right )^{2} \sqrt {c x -1}\, \sqrt {c x +1}}+\frac {b \,e^{2} \left (3 c^{2} d \left (7+m \right )^{2}+e \left (m^{2}+11 m +30\right )\right ) \left (f x \right )^{4+m} \left (-c^{2} x^{2}+1\right )}{c^{3} f^{4} \left (5+m \right )^{2} \left (7+m \right )^{2} \sqrt {c x -1}\, \sqrt {c x +1}}+\frac {b \,e^{3} \left (f x \right )^{6+m} \left (-c^{2} x^{2}+1\right )}{c \,f^{6} \left (7+m \right )^{2} \sqrt {c x -1}\, \sqrt {c x +1}}-\frac {b \left (\frac {c^{6} d^{3} \left (3+m \right ) \left (5+m \right ) \left (7+m \right )}{1+m}+\frac {e \left (2+m \right ) \left (3 c^{2} d e \left (7+m \right )^{2} \left (m^{2}+7 m +12\right )+3 c^{4} d^{2} \left (m^{2}+12 m +35\right )^{2}+e^{2} \left (m^{4}+18 m^{3}+119 m^{2}+342 m +360\right )\right )}{m^{3}+15 m^{2}+71 m +105}\right ) \left (f x \right )^{2+m} \hypergeom \! \left (\left [\frac {1}{2}, 1+\frac {m}{2}\right ], \left [2+\frac {m}{2}\right ], c^{2} x^{2}\right ) \sqrt {-c^{2} x^{2}+1}}{c^{5} f^{2} \left (2+m \right ) \left (3+m \right ) \left (5+m \right ) \left (7+m \right ) \sqrt {c x -1}\, \sqrt {c x +1}} \]

command

Integrate[(f*x)^m*(d + e*x^2)^3*(a + b*ArcCosh[c*x]),x]

Mathematica 13.1 output

\[ \int (f x)^m \left (d+e x^2\right )^3 \left (a+b \cosh ^{-1}(c x)\right ) \, dx \]

Mathematica 12.3 output

\[ x (f x)^m \left (\frac {d^3 \left (a+b \cosh ^{-1}(c x)\right )}{m+1}+\frac {3 d^2 e x^2 \left (a+b \cosh ^{-1}(c x)\right )}{m+3}+\frac {3 d e^2 x^4 \left (a+b \cosh ^{-1}(c x)\right )}{m+5}+\frac {e^3 x^6 \left (a+b \cosh ^{-1}(c x)\right )}{m+7}-\frac {b c d^3 x \sqrt {1-c^2 x^2} \, _2F_1\left (\frac {1}{2},\frac {m+2}{2};\frac {m+4}{2};c^2 x^2\right )}{\left (m^2+3 m+2\right ) \sqrt {c x-1} \sqrt {c x+1}}-\frac {3 b c d^2 e x^3 \sqrt {1-c^2 x^2} \, _2F_1\left (\frac {1}{2},\frac {m+4}{2};\frac {m+6}{2};c^2 x^2\right )}{\left (m^2+7 m+12\right ) \sqrt {c x-1} \sqrt {c x+1}}-\frac {3 b c d e^2 x^5 \sqrt {1-c^2 x^2} \, _2F_1\left (\frac {1}{2},\frac {m+6}{2};\frac {m+8}{2};c^2 x^2\right )}{(m+5) (m+6) \sqrt {c x-1} \sqrt {c x+1}}-\frac {b c e^3 x^7 \sqrt {1-c^2 x^2} \, _2F_1\left (\frac {1}{2},\frac {m}{2}+4;\frac {m}{2}+5;c^2 x^2\right )}{(m+7) (m+8) \sqrt {c x-1} \sqrt {c x+1}}\right ) \]