Need help with $\int_0^\infty\left(\pi\,x+\frac{S(x)\cos\frac{\pi x^2}2-C(x)\sin\frac{\pi x^2}2}{S(x)^2+C(x)^2}\right)dx$ Let
$$I=\int_0^\infty\left(\pi\,x+\frac{S(x)\cos\frac{\pi x^2}2-C(x)\sin\frac{\pi x^2}2}{S(x)^2+C(x)^2}\right)dx,\tag1$$
where
$$S(x)=-\frac12+\int_0^x\sin\frac{\pi t^2}2dt,\tag2$$
$$C(s)=-\frac12+\int_0^x\cos\frac{\pi t^2}2dt\tag3$$
are shifted Fresnel integrals. 
Mathematica and Maple return the integral $I$ unevaluated. Numerical integration suggests that
$$I\stackrel?=-\frac\pi4,\tag4$$
but I was not able to prove it. 
So, I ask for your help with this problem.
 A: Notice the integrand can be rewritten as:
$$\pi x + \frac{S C' - C S'}{S^2 + C^2}
= \pi x + \frac{1}{2i}\left(\frac{C' - iS'}{C - iS} - \frac{C' + iS'}{C + iS}\right)
= \pi x + \frac{1}{2i} \log\left(\frac{C-iS}{C+iS}\right)'
$$
The integral is equal to
$$\lim_{x\to\infty} \left[\frac{\pi t^2}{2} + \frac{1}{2i}\log\left(\frac{C(t)-iS(t)}{C(t)+iS(t)}\right)\right]_0^x
=\lim_{x\to\infty} \left(\frac{\pi x^2}{2} + \Im ( \log M(x) )\right)
$$
where $\displaystyle\quad M(x) = \frac{C(x)-iS(x)}{C(0)-iS(0)}$.
Using
$$\int_0^{\infty} \cos \frac{\pi t^2}{2} dt = \int_0^{\infty} \sin \frac{\pi t^2}{2} dt = \frac12,$$
we can simplify $M(x)$ to 
$$\begin{align}
\frac{\color{red}{-}\int_{x}^{\infty} e^{-i\frac{\pi}{2} t^2}dt}{\color{red}{-\frac12+\frac12 i}} 
= & \sqrt{2}e^{i(\color{red}{\frac{\pi}{4}}-\color{blue}{\frac{\pi}{2}x^2})}\int_0^{\infty}
e^{-i(\frac{\pi}{2} t^2 + \pi x t)} dt\\
\sim &
\frac{\sqrt{2}}{\color{green}{i} \pi x} e^{i(\color{red}{\frac{\pi}{4}}-\color{blue}{\frac{\pi}{2}x^2})}( 1 + O(\frac{1}{x}) )
\quad\text{ for large } x.
\end{align}
$$
From this, we find the integral equals to
$$\lim_{x\to\infty} \left( \frac{\pi x^2}{2} + \color{red}{\frac{\pi}{4}}
- \color{green}{\frac{\pi}{2}} - \color{blue}{\frac{\pi x^2}{2}} + O(\frac{1}{x}) \right) = -\frac{\pi}{4}.$$
