RLIBM-PROG: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte

TL;DR
This paper introduces RLIBM-PROG, a method for generating single polynomial approximations that are correctly rounded for all inputs, enabling fast and storage-efficient elementary function computations with progressive accuracy.
Contribution
The paper proposes a novel linear programming approach to produce polynomial approximations with progressive correctness, improving speed and storage efficiency in math libraries.
Findings
Polynomial approximations achieve correct rounding for all inputs.
The method enables progressive performance with lower-degree terms.
Some approximations are integrated into LLVM's math library.
Abstract
This paper presents a novel method for generating a single polynomial approximation that produces correctly rounded results for all inputs of an elementary function for multiple representations. The generated polynomial approximation has the nice property that the first few lower degree terms produce correctly rounded results for specific representations of smaller bitwidths, which we call progressive performance. To generate such progressive polynomial approximations, we approximate the correctly rounded result and formulate the computation of correctly rounded polynomial approximations as a linear program similar to our prior work on the RLibm project. To enable the use of resulting polynomial approximations in mainstream libraries, we want to avoid piecewise polynomials with large lookup tables. We observe that the problem of computing polynomial approximations for elementary…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsNumerical Methods and Algorithms · Parallel Computing and Optimization Techniques · Polynomial and algebraic computation
