Herbie: Automatically Improving Floating Point Accuracy
herbie.uwplse.org