Avoid sqrt (you can always use "x^2 < 2^2", instead of "sqrt(x^2) < 2")