\[ \int \cos (5 x) \text {CosIntegral}(2 x) \, dx \]
Optimal antiderivative \[ -\frac {\sinIntegral \left (3 x \right )}{10}-\frac {\sinIntegral \left (7 x \right )}{10}+\frac {\cosineIntegral \left (2 x \right ) \sin \left (5 x \right )}{5} \]
command
integrate(fresnel_cos(2*x)*cos(5*x),x, algorithm="fricas")
Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output
\[ -\frac {1}{10} \, \cos \left (\frac {25}{8 \, \pi }\right ) \operatorname {S}\left (\frac {4 \, \pi x + 5}{2 \, \pi }\right ) + \frac {1}{10} \, \cos \left (\frac {25}{8 \, \pi }\right ) \operatorname {S}\left (\frac {4 \, \pi x - 5}{2 \, \pi }\right ) + \frac {1}{5} \, \operatorname {C}\left (2 \, x\right ) \sin \left (5 \, x\right ) + \frac {1}{10} \, {\left (\operatorname {C}\left (\frac {4 \, \pi x + 5}{2 \, \pi }\right ) - \operatorname {C}\left (\frac {4 \, \pi x - 5}{2 \, \pi }\right )\right )} \sin \left (\frac {25}{8 \, \pi }\right ) \]
Fricas 1.3.7 via sagemath 9.3 output
\[ \text {Exception raised: TypeError} \]