When using "improve" on sqrt(x*x), the returned result is x. The result should be abs(x), so the returned result has high error. The Herbie example at https://herbie.uwplse.org/ processes this correctly.