sqrt{(-4x+5)^2}