(- 1.0 (/ (- f e) (- s e)))

Average Error: 18.0 → 18.0

Time: 960.0ms

Precision: binary64

Math

\[1 - \frac{f - e}{s - e}\]

↓

\[1 - \frac{f - e}{s - e}\]

C

double code(double f, double e, double s) {
	return ((double) (1.0 - ((double) (((double) (f - e)) / ((double) (s - e))))));
}

↓

double code(double f, double e, double s) {
	return ((double) (1.0 - ((double) (((double) (f - e)) / ((double) (s - e))))));
}

Error

Bits error versus f

Bits error versus e

Bits error versus s

Derivation

1. Initial program 18.0

   \[1 - \frac{f - e}{s - e}\]

2. Final simplification 18.0

   \[\leadsto 1 - \frac{f - e}{s - e}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (f e s)
  :name "(- 1.0 (/ (- f e) (- s e)))"
  :precision binary64
  (- 1.0 (/ (- f e) (- s e))))