Average Error: 0.0 → 0.0
Time: 18.1s
Precision: 64
Internal Precision: 384
\[\frac{t}{t + 1}\]
↓
\[t \cdot \frac{1}{t + 1}\]

Error

Bits error versus t

Derivation

  1. Initial program 0.0

    \[\frac{t}{t + 1}\]
  2. Using strategy rm

  3. Applied div-inv0.0

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

Runtime

Time bar (total: 18.1s)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (t)
  :name "intro-example"
  :pre (<= 0 t 999)
  (/ t (+ t 1)))