$\int_0^k \sin(tx-mod(\frac{\pi}{2}(t-1),2\pi))dt$

27 Views Asked by At

I've been investigating series of sine and cosine, and I came across the funky-looking function $I(x)$ for real $x$ and non-negative (constant) $k$. $$I(x)=\int_0^k \sin(tx-mod(\frac{\pi}{2}(t-1),2\pi))dt$$ Can someone help me compute this gross integral?