110.51 Problem number 75

\[ \int x^4 S(b x) \sin \left (\frac {1}{2} b^2 \pi x^2\right ) \, dx \]

Optimal antiderivative \[ -\frac {3 x^{2}}{4 b^{3} \pi ^{2}}-\frac {x^{2} \cos \left (b^{2} \pi \,x^{2}\right )}{4 b^{3} \pi ^{2}}-\frac {x^{3} \cos \left (\frac {b^{2} \pi \,x^{2}}{2}\right ) \mathrm {S}\left (b x \right )}{b^{2} \pi }-\frac {3 \mathrm {S}\left (b x \right )^{2}}{2 b^{5} \pi ^{2}}+\frac {3 x \,\mathrm {S}\left (b x \right ) \sin \left (\frac {b^{2} \pi \,x^{2}}{2}\right )}{b^{4} \pi ^{2}}+\frac {\sin \left (b^{2} \pi \,x^{2}\right )}{b^{5} \pi ^{3}} \]

command

integrate(x^4*fresnel_sin(b*x)*sin(1/2*b^2*pi*x^2),x, algorithm="fricas")

Fricas 1.3.8 (sbcl 2.2.11.debian) via sagemath 9.6 output

\[ -\frac {2 \, \pi ^{2} b^{3} x^{3} \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right ) \operatorname {S}\left (b x\right ) + \pi b^{2} x^{2} \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )^{2} + \pi b^{2} x^{2} + 3 \, \pi \operatorname {S}\left (b x\right )^{2} - 2 \, {\left (3 \, \pi b x \operatorname {S}\left (b x\right ) + 2 \, \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )\right )} \sin \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )}{2 \, \pi ^{3} b^{5}} \]

Fricas 1.3.7 via sagemath 9.3 output

\[ {\rm integral}\left (x^{4} {\rm fresnels}\left (b x\right ) \sin \left (\frac {1}{2} \, \pi b^{2} x^{2}\right ), x\right ) \]