2 ________ ________ x + x + \/ cos(x) < 3*x + 3 + \/ cos(x)
x^2 + x + sqrt(cos(x)) < 3*x + 3 + sqrt(cos(x))