How do you simplify #4cos(x+pi/3)#?