subtraction fraction

Average Error: 0.0 → 0.0

Time: 3.0s

Precision: binary64

Math

\[\]

↓

\[\]

Error

Bits error versus f

Bits error versus n

Derivation

1. Initial program 0.0

   \[\]

2. Simplified 0.0

   \[\leadsto \]
3. Using strategy rm

4. Applied clear-num 0.0

   \[\leadsto \]
5. Using strategy rm

6. Applied add-log-exp 0.0

   \[\leadsto \]

7. Simplified 0.0

   \[\leadsto \]
8. Using strategy rm

9. Applied div-sub 0.0

   \[\leadsto \]

10. Applied exp-diff 0.0

    \[\leadsto \]

11. Final simplification 0.0

    \[\leadsto \]

Reproduce

herbie shell --seed 2020191 
(FPCore (f n)
  :name "subtraction fraction"
  :precision binary64
  (/ (neg (+ f n)) (- f n)))