3 - 4 cos^2(x) > (1 + 3 sen(x))^2