Herbie: Optimize Floating-Point Expressions

Herbie: Find and fix floating-point accuracy problems

Herbie: Automatically Improving Floating Point Accuracy

Herbie: Automatically Improving Floating Point Accuracy

Herbie: Automatically Improving Floating Point Accuracy

New tool "Herbie" automatically rewrites arithmetic expressions to minimize floating-point precision errors

Herbie: Automatically Improving Floating Point Accuracy