7.1 Problem number 20

\[ \int \sqrt {a+b x} \sqrt {a c-b c x} (e+f x)^3 \left (A+B x+C x^2\right ) \, dx \]

Optimal antiderivative \[ \frac {\left (A \left (6 a^{2} b^{2} e \,f^{2}+8 b^{4} e^{3}\right )+a^{2} \left (a^{2} f^{2} \left (B f +3 C e \right )+2 b^{2} e^{2} \left (3 B f +C e \right )\right )\right ) x \sqrt {b x +a}\, \sqrt {-b c x +a c}}{16 b^{4}}-\frac {\left (8 a^{2} C \,f^{2}-b^{2} \left (3 C \,e^{2}-7 f \left (2 A f +B e \right )\right )\right ) \left (f x +e \right )^{2} \left (-b^{2} x^{2}+a^{2}\right ) \sqrt {b x +a}\, \sqrt {-b c x +a c}}{70 b^{4} f}+\frac {\left (-7 B f +3 C e \right ) \left (f x +e \right )^{3} \left (-b^{2} x^{2}+a^{2}\right ) \sqrt {b x +a}\, \sqrt {-b c x +a c}}{42 b^{2} f}-\frac {C \left (f x +e \right )^{4} \left (-b^{2} x^{2}+a^{2}\right ) \sqrt {b x +a}\, \sqrt {-b c x +a c}}{7 b^{2} f}-\frac {\left (64 a^{4} C \,f^{4}+16 a^{2} b^{2} f^{2} \left (15 C \,e^{2}+7 f \left (A f +3 B e \right )\right )-8 b^{4} e^{2} \left (3 C \,e^{2}-7 f \left (12 A f +B e \right )\right )+3 b^{2} f \left (a^{2} f^{2} \left (35 B f +41 C e \right )-2 b^{2} e \left (3 C \,e^{2}-7 f \left (7 A f +B e \right )\right )\right ) x \right ) \left (-b^{2} x^{2}+a^{2}\right ) \sqrt {b x +a}\, \sqrt {-b c x +a c}}{840 b^{6} f}+\frac {a^{2} \left (A \left (6 a^{2} b^{2} e \,f^{2}+8 b^{4} e^{3}\right )+a^{2} \left (a^{2} f^{2} \left (B f +3 C e \right )+2 b^{2} e^{2} \left (3 B f +C e \right )\right )\right ) \arctan \left (\frac {b x \sqrt {c}}{\sqrt {-b^{2} c \,x^{2}+a^{2} c}}\right ) \sqrt {c}\, \sqrt {b x +a}\, \sqrt {-b c x +a c}}{16 b^{5} \sqrt {-b^{2} c \,x^{2}+a^{2} c}} \]

command

integrate((f*x+e)^3*(C*x^2+B*x+A)*(b*x+a)^(1/2)*(-b*c*x+a*c)^(1/2),x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \text {output too large to display} \]

Giac 1.7.0 via sagemath 9.3 output \[ \text {Timed out} \]_______________________________________________________