Last week I had a fun experience using Herbie to actually improve the numerical accuracy of real code. Discovering a Rust problem It all started when Finn (an undergraduate from UW) submitted a PR to FPBench to compile FPBench benchmarks to Rust. Besides being great work and a valuable contribution, he also pointed out that our test framework was failing on his FPBench to Rust compiler "due to precision issues with Rust's implementation" of the asinh and acosh functions. This intrigued me, be...
