100 \cdot \frac{x - x}{x}0
double f(double x) {
double r342784 = 100.0;
double r342785 = x;
double r342786 = r342785 - r342785;
double r342787 = r342786 / r342785;
double r342788 = r342784 * r342787;
return r342788;
}
double f(double __attribute__((unused)) x) {
double r342789 = 0.0;
return r342789;
}




Bits error versus x
Results
| Original | 0 |
|---|---|
| Target | 0 |
| Herbie | 0 |
Initial program 0
Simplified0
Final simplification0
herbie shell --seed 2020046
(FPCore (x)
:name "ReportTypes:explainFloat from gipeda-0.1.2.1"
:precision binary64
:herbie-target
0.0
(* 100 (/ (- x x) x)))