[OnlyOneCannolo]

There's also a floating point expression generator that tries to make your calculations more accurate, but it doesn't seem to give an analysis like this. These two tools would seem to go well together.

https://herbie.uwplse.org/doc/latest/tutorial.html