Average Error: 58.6 → 58.6
Time: 11.3s
Precision: 64
Internal Precision: 1408
\[e^{x} - 1\]
\[e^{x} - 1\]

Error

Bits error versus x

Derivation

  1. Initial program 58.6

    \[e^{x} - 1\]
  2. Removed slow pow expressions.

Runtime

Time bar (total: 11.3s)Debug log

herbie shell --seed '#(1567391828 2030694642 2833800258 828025724 3004380912 3532991858)' +o setup:early-exit +o reduce:binary-search
(FPCore (x)
  :name "expm1 (example 3.7)"
  :pre (< -0.00017 x)
  (- (exp x) 1))