Int cos 5x dx