\[ \int \sqrt {a+b x} \sqrt {a c-b c x} \left (A+B x+C x^2\right ) \, dx \]
Optimal antiderivative \[ \frac {\left (4 A +\frac {a^{2} C}{b^{2}}\right ) x \sqrt {b x +a}\, \sqrt {-b c x +a c}}{8}-\frac {B \left (-b^{2} x^{2}+a^{2}\right ) \sqrt {b x +a}\, \sqrt {-b c x +a c}}{3 b^{2}}-\frac {C x \left (-b^{2} x^{2}+a^{2}\right ) \sqrt {b x +a}\, \sqrt {-b c x +a c}}{4 b^{2}}+\frac {a^{2} \left (4 A \,b^{2}+a^{2} C \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}}{8 b^{3} \sqrt {-b^{2} c \,x^{2}+a^{2} c}} \]
command
integrate((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
\[ -\frac {24 \, {\left (\frac {2 \, a c \log \left ({\left | -\sqrt {b x + a} \sqrt {-c} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \right |}\right )}{\sqrt {-c}} - \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \sqrt {b x + a}\right )} A a b^{2} - 12 \, {\left (\frac {2 \, a^{2} c \log \left ({\left | -\sqrt {b x + a} \sqrt {-c} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \right |}\right )}{\sqrt {-c}} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \sqrt {b x + a} {\left (b x - 2 \, a\right )}\right )} B a b - 12 \, {\left (\frac {2 \, a^{2} c \log \left ({\left | -\sqrt {b x + a} \sqrt {-c} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \right |}\right )}{\sqrt {-c}} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \sqrt {b x + a} {\left (b x - 2 \, a\right )}\right )} A b^{2} + 4 \, {\left (\frac {6 \, a^{3} c \log \left ({\left | -\sqrt {b x + a} \sqrt {-c} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \right |}\right )}{\sqrt {-c}} - {\left ({\left (2 \, b x - 5 \, a\right )} {\left (b x + a\right )} + 9 \, a^{2}\right )} \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \sqrt {b x + a}\right )} C a + 4 \, {\left (\frac {6 \, a^{3} c \log \left ({\left | -\sqrt {b x + a} \sqrt {-c} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \right |}\right )}{\sqrt {-c}} - {\left ({\left (2 \, b x - 5 \, a\right )} {\left (b x + a\right )} + 9 \, a^{2}\right )} \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \sqrt {b x + a}\right )} B b - {\left (\frac {18 \, a^{4} c \log \left ({\left | -\sqrt {b x + a} \sqrt {-c} + \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \right |}\right )}{\sqrt {-c}} - {\left (39 \, a^{3} - {\left (2 \, {\left (3 \, b x - 10 \, a\right )} {\left (b x + a\right )} + 43 \, a^{2}\right )} {\left (b x + a\right )}\right )} \sqrt {-{\left (b x + a\right )} c + 2 \, a c} \sqrt {b x + a}\right )} C}{24 \, b^{3}} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \text {Timed out} \]________________________________________________________________________________________