real roots of abs(2-abs(x-1))-abs(x^2-1)