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

Average Error: 22.5 → 22.5

Time: 895.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.5

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

2. Final simplification 22.5

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

Reproduce

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