62.2 Problem number 515

\[ \int \cos ^3(c+d x) (a+b \tan (c+d x)) \, dx \]

Optimal antiderivative \[ -\frac {b \left (\cos ^{3}\left (d x +c \right )\right )}{3 d}+\frac {a \sin \left (d x +c \right )}{d}-\frac {a \left (\sin ^{3}\left (d x +c \right )\right )}{3 d} \]

command

integrate(cos(d*x+c)^3*(a+b*tan(d*x+c)),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 {Exception raised: NotImplementedError} \]_______________________________________________________