Average Error: 62.0 → 62.0
Time: 1.2s
Precision: binary64
\[\]
\[\]
↓
\[\]
↓
double code(double lo, double hi, double x) {
	return ((double) (((double) (x - lo)) / ((double) (hi - lo))));
}

↓
double code(double lo, double hi, double x) {
	return ((double) (((double) (x - lo)) / ((double) (hi - lo))));
}

Error
Bits error versus lo
Bits error versus hi
Bits error versus x
Try it out
Your Program's Arguments
Results
Enter valid numbers for all inputs
Derivation
  1. Initial program 62.0
    \[\]
  2. Final simplification62.0
    \[\leadsto \]
Reproduce
herbie shell --seed 2020191 
(FPCore (lo hi x)
  :name "(/ (- x lo) (- hi lo))"
  :precision binary64
  :pre (and (< lo -1e+308) (> hi 1e+308))
  (/ (- x lo) (- hi lo)))