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