2 (2 a^2 - 4 (a + 1) cos(x) + 4 a + cos(2 x) - 7)>0