double code(double d1) {
return ((double) (((double) (d1 * ((double) (((double) (((double) (((double) (((double) (d1 * ((double) (d1 * d1)))) * d1)) * d1)) * ((double) (d1 * d1)))) * d1)))) * d1));
}
double code(double d1) {
return ((double) pow(d1, 10.0));
}




Bits error versus d1
Results
| Original | 0.1 |
|---|---|
| Target | 0 |
| Herbie | 0 |
Initial program 0.1
Simplified0
Final simplification0
herbie shell --seed 2020191
(FPCore (d1)
:name "FastMath test5"
:precision binary64
:herbie-target
(pow d1 10.0)
(* (* d1 (* (* (* (* (* d1 (* d1 d1)) d1) d1) (* d1 d1)) d1)) d1))