integrate cos(2x) over x