Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions

Hugues de Lassus Saint-Geniès 1 David Defour 1 Guillaume Revy 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : 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%, respectively.
Document type :
Journal articles
Complete list of metadatas

Cited literature [41 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01844332
Contributor : Guillaume Revy <>
Submitted on : Thursday, July 19, 2018 - 11:46:16 AM
Last modification on : Friday, July 20, 2018 - 11:36:03 AM
Long-term archiving on: Saturday, October 20, 2018 - 2:21:42 PM

File

deLasDefRev16-ieeeTC-revision....
Files produced by the author(s)

Identifiers

Collections

Citation

Hugues de Lassus Saint-Geniès, David Defour, Guillaume Revy. Exact Lookup Tables for the Evaluation of Trigonometric and Hyperbolic Functions. IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2017, 66 (12), pp.2058-2071. ⟨10.1109/TC.2017.2703870⟩. ⟨lirmm-01844332⟩

Share

Metrics

Record views

480

Files downloads

178