(- (/ (- 10000) (- n 10000)) 1)

Average Error: 29.9 → 29.9

Time: 736.0ms

Precision: binary64

Math

\[\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 simplification 29.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))