cos2x dx