integrate cos 2x dx