When computing transcendental functions (e.g., \(\sin \) , \(\exp \) , \(\tanh \) ), there is a risk for rounding errors even if the function is computed to a very high precision. This well-known phenomenon is called “The Table-Maker’s Dilemma”. In this paper we describe a probabilistic model for estimating the expected number of rounding errors for a given function implementation. We show that this model is robust, even when using crude assumptions about the function. Furthermore, one can use this model to optimize the function implementations, without the need for exhaustive testing, which are often very expensive or entirely impractical.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Probabilistic Model for Rounding Errors: A New Look at the Table-Maker’s Dilemma

  • Jonathan Devor,
  • Daniel Khankin,
  • Oded Margalit

摘要

When computing transcendental functions (e.g., \(\sin \) , \(\exp \) , \(\tanh \) ), there is a risk for rounding errors even if the function is computed to a very high precision. This well-known phenomenon is called “The Table-Maker’s Dilemma”. In this paper we describe a probabilistic model for estimating the expected number of rounding errors for a given function implementation. We show that this model is robust, even when using crude assumptions about the function. Furthermore, one can use this model to optimize the function implementations, without the need for exhaustive testing, which are often very expensive or entirely impractical.