double code(double x, double y) {
return ((double) (((double) (x + y)) / ((double) (x - y))));
}
double code(double x, double y) {
return ((double) (1.0 / ((double) cbrt(((double) pow(((double) (((double) (x - y)) / ((double) (x + y)))), 3.0))))));
}




Bits error versus x




Bits error versus y
Results
| Original | 0.0 |
|---|---|
| Target | 0.0 |
| Herbie | 0.0 |
Initial program 0.0
rmApplied clear-num0.0
rmApplied add-cbrt-cube42.1
Applied add-cbrt-cube42.0
Applied cbrt-undiv42.0
Simplified0.0
Final simplification0.0
herbie shell --seed 2020191
(FPCore (x y)
:name "Linear.Projection:perspective from linear-1.19.1.3, A"
:precision binary64
:herbie-target
(/ 1.0 (- (/ x (+ x y)) (/ y (+ x y))))
(/ (+ x y) (- x y)))