Issue No. 12 - Dec. (2017 vol. 66)
Hugues de Lassus Saint-Genies , DALI Project-Team, Université de Perpignan Via Domitia and LIRMM (CNRS: UMR 5506), Perpignan, France
David Defour , DALI Project-Team, Université de Perpignan Via Domitia and LIRMM (CNRS: UMR 5506), Perpignan, France
Guillaume Revy , DALI Project-Team, Université de Perpignan Via Domitia and LIRMM (CNRS: UMR 5506), Perpignan, France
Elementary mathematical functions are pervasively used in many applications such as electronic calculators, computer simulations, or critical embedded systems. Their evaluation is always an approximation, which usually makes use of mathematical properties, precomputed tabulated values, and polynomial approximations. Each step generally combines error of approximation and error of evaluation on finite-precision arithmetic. When they are used, tabulated values generally embed rounding error inherent to the transcendence of elementary functions. In this article, we propose a general method to use error-free values that is worthy when two or more terms have to be tabulated in each table row. For the trigonometric and hyperbolic functions, we show that Pythagorean triples can lead to such tables in little time and memory usage. When targeting correct rounding in double precision for the same functions, we also show that this method saves memory and floating-point operations by up to 29 and 42 percent, respectively.
Image reconstruction, Function approximation, Program processors, Computer architecture, Arithmetic
Hugues de Lassus Saint-Genies, David Defour, Guillaume Revy, "Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions", IEEE Transactions on Computers, vol. 66, no. , pp. 2058-2071, Dec. 2017, doi:10.1109/TC.2017.2703870