abs(x^2-4x-5)<x+1