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

Error

Bits error versus x

Derivation

  1. Initial program 0.3

    \[\frac{4.0 \cdot x}{1 + \frac{x}{1.11}}\]

Runtime

Time bar (total: 36.4s)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (x)
  :name "verhulst"
  :pre (<= 0.1 x 0.3)
  (/ (* 4.0 x) (+ 1 (/ x 1.11))))