Average Error: 29.9 → 29.9
Time: 736.0ms
Precision: binary64
\[\frac{-10^{4}}{n - 10^{4}} - 1\]
\[\frac{-10^{4}}{n - 10^{4}} - 1\]

Error

Bits error versus n

Derivation

  1. Initial program 29.9

    \[\frac{-10^{4}}{n - 10^{4}} - 1\]
  2. Final simplification29.9

    \[\leadsto \frac{-10^{4}}{n - 10^{4}} - 1\]

Reproduce

herbie shell --seed 2020152 
(FPCore (n)
  :name "(- (/ (- 10000) (- n 10000)) 1)"
  :precision binary64
  (- (/ (neg 10000.0) (- n 10000.0)) 1.0))