integrate cos(2 pi x) on [0,t]