Average Error: 0.3 → 0.3
Time: 6.8s
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}\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 6.8s) Debug log

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (x)
  :name "test05_nonlin1, test2"
  :pre (< 1.00001 x 2)
  (/ 1 (+ x 1)))