Average Error: 25.2 → 25.2
Time: 1.1s
Precision: binary64
\[1 - \left|\frac{n - m}{m}\right|\]
↓
\[1 - \left|\frac{n - m}{m}\right|\]
1 - \left|\frac{n - m}{m}\right|
↓
1 - \left|\frac{n - m}{m}\right|
double code(double n, double m) {
	return ((double) (1.0 - ((double) fabs(((double) (((double) (n - m)) / m))))));
}
↓
double code(double n, double m) {
	return ((double) (1.0 - ((double) fabs(((double) (((double) (n - m)) / m))))));
}

Error

Bits error versus n

Bits error versus m

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 25.2

    \[1 - \left|\frac{n - m}{m}\right|\]

  2. Final simplification25.2

    \[\leadsto 1 - \left|\frac{n - m}{m}\right|\]

Reproduce

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