56.22 Problem number 378

\[ \int \sqrt {a+a \cos (c+d x)} \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right ) \sec ^2(c+d x) \, dx \]

Optimal antiderivative \[ \frac {\left (A +2 B \right ) \arctanh \left (\frac {\sin \left (d x +c \right ) \sqrt {a}}{\sqrt {a +a \cos \left (d x +c \right )}}\right ) \sqrt {a}}{d}-\frac {a \left (A -2 C \right ) \sin \left (d x +c \right )}{d \sqrt {a +a \cos \left (d x +c \right )}}+\frac {A \sqrt {a +a \cos \left (d x +c \right )}\, \tan \left (d x +c \right )}{d} \]

command

integrate((a+a*cos(d*x+c))^(1/2)*(A+B*cos(d*x+c)+C*cos(d*x+c)^2)*sec(d*x+c)^2,x, algorithm="giac")

Giac 1.9.0-11 via sagemath 9.6 output

\[ \frac {\sqrt {2} {\left (8 \, C \mathrm {sgn}\left (\cos \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) \sin \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) - \sqrt {2} {\left (A \mathrm {sgn}\left (\cos \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) + 2 \, B \mathrm {sgn}\left (\cos \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )\right )} \log \left (\frac {{\left | -2 \, \sqrt {2} + 4 \, \sin \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) \right |}}{{\left | 2 \, \sqrt {2} + 4 \, \sin \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) \right |}}\right ) - \frac {4 \, A \mathrm {sgn}\left (\cos \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right ) \sin \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )}{2 \, \sin \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} - 1}\right )} \sqrt {a}}{4 \, d} \]

Giac 1.7.0 via sagemath 9.3 output

\[ \text {Timed out} \]________________________________________________________________________________________