integral sinc(8 pi x) sinc^2(pi x) cos(8 pi x) from -infinity to infinity