Herbie: Automatically rewrites expressions to minimize floating point errorgithub.com/uwplse117 pointssantaclaus10 years ago