Ничего не делать. 2^(1/2)+2 - это число.
Представить cos2x =2(cosx)^2-1 и решить как квадратное уравнение.