Average Error: 0 → 0
Time: 542.0ms
Precision: binary64
\[\frac{-c}{b}\]
↓
\[\frac{-c}{b}\]

Error

Bits error versus c

Bits error versus b

Derivation

  1. Initial program 0

    \[\frac{-c}{b}\]

  2. Final simplification0

    \[\leadsto \frac{-c}{b}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (c b)
  :name "(/ (- c) b)"
  :precision binary64
  (/ (neg c) b))