Optimal antiderivative \[ \frac {4 x^{3}}{15 b^{2} \pi ^{2}}+\frac {x^{3} \cos \left (b^{2} \pi \,x^{2}\right )}{10 b^{2} \pi ^{2}}-\frac {16 \cos \left (\frac {b^{2} \pi \,x^{2}}{2}\right ) \mathrm {S}\left (b x \right )}{5 b^{5} \pi ^{3}}+\frac {2 x^{4} \cos \left (\frac {b^{2} \pi \,x^{2}}{2}\right ) \mathrm {S}\left (b x \right )}{5 b \pi }+\frac {x^{5} \mathrm {S}\left (b x \right )^{2}}{5}-\frac {8 x^{2} \mathrm {S}\left (b x \right ) \sin \left (\frac {b^{2} \pi \,x^{2}}{2}\right )}{5 b^{3} \pi ^{2}}-\frac {11 x \sin \left (b^{2} \pi \,x^{2}\right )}{20 b^{4} \pi ^{3}}+\frac {43 \,\mathrm {S}\left (b x \sqrt {2}\right ) \sqrt {2}}{40 b^{5} \pi ^{3}} \]
command
integrate(x^4*fresnel_sin(b*x)^2,x, algorithm="fricas")
Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output
\[ \frac {24 \, \pi ^{3} b^{6} x^{5} \operatorname {S}\left (b x\right )^{2} + 24 \, \pi b^{4} x^{3} \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )^{2} + 20 \, \pi b^{4} x^{3} + 48 \, {\left (\pi ^{2} b^{5} x^{4} - 8 \, b\right )} \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right ) \operatorname {S}\left (b x\right ) + 129 \, \sqrt {2} \sqrt {b^{2}} \operatorname {S}\left (\sqrt {2} \sqrt {b^{2}} x\right ) - 12 \, {\left (16 \, \pi b^{3} x^{2} \operatorname {S}\left (b x\right ) + 11 \, b^{2} x \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )\right )} \sin \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )}{120 \, \pi ^{3} b^{6}} \]
Fricas 1.3.7 via sagemath 9.3 output
\[ {\rm integral}\left (x^{4} {\rm fresnels}\left (b x\right )^{2}, x\right ) \]