Average Error: 0.3 → 0.3
Time: 15.0s
Precision: 64
Internal Precision: 384
\[\frac{1}{x + 1}\]
↓
\[\frac{1}{x + 1}\]

Error

Bits error versus x

Derivation

  1. Initial program 0.3

    \[\frac{1}{x + 1}\]

Runtime

Time bar (total: 15.0s)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (x)
  :name "test05_nonlin1, test2"
  :pre (< 1.00001 x 2)
  (/ 1 (+ x 1)))