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

Error

Bits error versus x

Derivation

  1. Initial program 0.8

    \[\frac{x - 1}{x \cdot x - 1}\]

  2. Applied simplify0.3

    \[\leadsto \color{blue}{\frac{1}{1 + x} \cdot 1}\]

Runtime

Time bar (total: 37.0s)Debug log

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