\[ \int \cos (a+b x) \text {CosIntegral}(a+b x) \, dx \]
Optimal antiderivative \[ -\frac {\sinIntegral \! \left (2 b x +2 a \right )}{2 b}+\frac {\cosineIntegral \! \left (b x +a \right ) \sin \! \left (b x +a \right )}{b} \]
command
integrate(fresnel_cos(b*x+a)*cos(b*x+a),x, algorithm="giac")
Giac 1.9.0-11 via sagemath 9.6 output
\[ \text {could not integrate} \]
Giac 1.7.0 via sagemath 9.3 output
\[ \frac {\operatorname {Ci}\left (b x + a\right ) \sin \left (b x + a\right )}{b} - \frac {\Im \left ( \operatorname {Ci}\left (2 \, b x + 2 \, a\right ) \right ) - \Im \left ( \operatorname {Ci}\left (-2 \, b x - 2 \, a\right ) \right ) + 2 \, \operatorname {Si}\left (2 \, b x + 2 \, a\right )}{4 \, b} \]