herbie

A tool for automatically improving the accuracy of floating point expressions