Average Error: 0 → 0
Time: 264.0ms
Precision: binary64
\[\frac{\left(10^{17} - 10^{17}\right) \cdot 100}{10^{17}}\]
↓
\[0\]
\frac{\left(10^{17} - 10^{17}\right) \cdot 100}{10^{17}}
↓
0
double code() {
	return ((double) (((double) (((double) (1e+17 - 1e+17)) * 100.0)) / 1e+17));
}
↓
double code() {
	return 0.0;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\frac{\left(10^{17} - 10^{17}\right) \cdot 100}{10^{17}}\]

    2. Simplified0

      \[\leadsto \color{blue}{0}\]

    3. Final simplification0

      \[\leadsto 0\]

    Reproduce

    herbie shell --seed 2020152 
(FPCore ()
  :name "(/ (* (- 100000000000000000 99999999999999999) 100) 99999999999999999)"
  :precision binary64
  (/ (* (- 1e+17 1e+17) 100.0) 1e+17))