Cosx cos2x cos3x dx