integrate cos(2x) dx