(- (/ (- f) (- n f)) 1)

Average Error: 22.4 → 22.4

Time: 916.0ms

Precision: binary64

Math

\[\frac{-f}{n - f} - 1\]

↓

\[\frac{-f}{n - f} - 1\]

Error

Bits error versus f

Bits error versus n

Derivation

1. Initial program 22.4

   \[\frac{-f}{n - f} - 1\]

2. Final simplification 22.4

   \[\leadsto \frac{-f}{n - f} - 1\]

Reproduce

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