Fast Mixed-Precision Real Evaluation

TL;DR

This paper introduces a fast algorithm for assigning mixed-precision levels in real-valued expression evaluation, significantly improving computational efficiency by reducing unnecessary high-precision calculations.

Contribution

The authors present Reval, a novel algorithm that analytically determines mixed-precision assignments, enabling faster evaluation of real expressions compared to existing methods.

Findings

Reval achieves an average speed-up of 1.72x over Sollya.

Speed-up increases to 5.21x on difficult input points.

Lower precisions are assigned to most operations, enhancing efficiency.

Abstract

Evaluating real-valued expressions to high precision is a key building block in computational mathematics, physics, and numerics. A typical implementation evaluates the whole expression in a uniform precision, doubling that precision until a sufficiently-accurate result is achieved. This is wasteful: usually only a few operations really need to be performed at high precision, and the bulk of the expression could be computed much faster. However, such non-uniform precision assignments have, to date, been impractical to compute. We propose a fast new algorithm for deriving such precision assignments. The algorithm leverages results computed at lower precisions to analytically determine a mixed-precision assignment that will result in a sufficiently-accurate result. Our implementation, Reval, achieves an average speed-up of 1.72x compared to the state-of-the-art Sollya tool, with the speed-up increasing to 5.21x on the most difficult input points. An examination of the precisions used with and without precision tuning shows that the speed-up results from assigning lower precisions for the majority of operations, though additional optimizations enabled by the non-uniform precision assignments also play a role.