Herbie: Automatically improve imprecise floating point formulas

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

#HackerNews #Herbie #FloatingPoint #Improvement #Precision #Algorithms #Tutorial