\[ \int x \text {CosIntegral}(a+b x) \sin (a+b x) \, dx \]
Optimal antiderivative \[ \frac {x}{2 b}-\frac {a \cosineIntegral \left (2 b x +2 a \right )}{2 b^{2}}-\frac {x \cosineIntegral \left (b x +a \right ) \cos \left (b x +a \right )}{b}-\frac {a \ln \left (b x +a \right )}{2 b^{2}}-\frac {\sinIntegral \left (2 b x +2 a \right )}{2 b^{2}}+\frac {\cosineIntegral \left (b x +a \right ) \sin \left (b x +a \right )}{b^{2}}+\frac {\cos \left (b x +a \right ) \sin \left (b x +a \right )}{2 b^{2}} \]
command
integrate(x*fresnel_cos(b*x+a)*sin(b*x+a),x, algorithm="fricas")
Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output
\[ -\frac {2 \, \pi b^{2} x \cos \left (b x + a\right ) \operatorname {C}\left (b x + a\right ) - 2 \, \pi b \operatorname {C}\left (b x + a\right ) \sin \left (b x + a\right ) - 2 \, b \cos \left (b x + a\right ) \sin \left (\frac {1}{2} \, \pi b^{2} x^{2} + \pi a b x + \frac {1}{2} \, \pi a^{2}\right ) + \sqrt {b^{2}} {\left ({\left (\pi a + 1\right )} \cos \left (\frac {1}{2 \, \pi }\right ) - \pi \sin \left (\frac {1}{2 \, \pi }\right )\right )} \operatorname {C}\left (\frac {{\left (\pi b x + \pi a + 1\right )} \sqrt {b^{2}}}{\pi b}\right ) + \sqrt {b^{2}} {\left ({\left (\pi a - 1\right )} \cos \left (\frac {1}{2 \, \pi }\right ) + \pi \sin \left (\frac {1}{2 \, \pi }\right )\right )} \operatorname {C}\left (\frac {{\left (\pi b x + \pi a - 1\right )} \sqrt {b^{2}}}{\pi b}\right ) + \sqrt {b^{2}} {\left (\pi \cos \left (\frac {1}{2 \, \pi }\right ) + {\left (\pi a + 1\right )} \sin \left (\frac {1}{2 \, \pi }\right )\right )} \operatorname {S}\left (\frac {{\left (\pi b x + \pi a + 1\right )} \sqrt {b^{2}}}{\pi b}\right ) - \sqrt {b^{2}} {\left (\pi \cos \left (\frac {1}{2 \, \pi }\right ) - {\left (\pi a - 1\right )} \sin \left (\frac {1}{2 \, \pi }\right )\right )} \operatorname {S}\left (\frac {{\left (\pi b x + \pi a - 1\right )} \sqrt {b^{2}}}{\pi b}\right )}{2 \, \pi b^{3}} \]
Fricas 1.3.7 via sagemath 9.3 output
\[ {\rm integral}\left (x \operatorname {Ci}\left (b x + a\right ) \sin \left (b x + a\right ), x\right ) \]