How do you simplify 2cos2x+cosx3?