110.93 Problem number 143

\[ \int x^4 \text {FresnelC}(b x)^2 \, dx \]

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 {8 x^{2} \cos \left (\frac {b^{2} \pi \,x^{2}}{2}\right ) \FresnelC \left (b x \right )}{5 b^{3} \pi ^{2}}+\frac {x^{5} \FresnelC \left (b x \right )^{2}}{5}+\frac {16 \FresnelC \left (b x \right ) \sin \left (\frac {b^{2} \pi \,x^{2}}{2}\right )}{5 b^{5} \pi ^{3}}-\frac {2 x^{4} \FresnelC \left (b x \right ) \sin \left (\frac {b^{2} \pi \,x^{2}}{2}\right )}{5 b \pi }+\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_cos(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 {C}\left (b x\right )^{2} - 24 \, \pi b^{4} x^{3} \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right )^{2} + 44 \, \pi b^{4} x^{3} - 192 \, \pi b^{3} x^{2} \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right ) \operatorname {C}\left (b x\right ) - 129 \, \sqrt {2} \sqrt {b^{2}} \operatorname {S}\left (\sqrt {2} \sqrt {b^{2}} x\right ) + 12 \, {\left (11 \, b^{2} x \cos \left (\frac {1}{2} \, \pi b^{2} x^{2}\right ) - 4 \, {\left (\pi ^{2} b^{5} x^{4} - 8 \, b\right )} \operatorname {C}\left (b x\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 fresnelc}\left (b x\right )^{2}, x\right ) \]