StableRewrite: Roundoff-Minimizing Formula Rewriter for Numeric Code

A tool that rewrites numeric formulas in quant and scientific code into mathematically equivalent versions with the smallest floating-point rounding error, carrying error bounds through every equivalent variant and returning the best rewrite with an audit trail.