\frac{x - y}{\left(x \cdot 2\right) \cdot y}\frac{1}{2 \cdot y} - \frac{1}{x \cdot 2}double f(double x, double y) {
double r433123 = x;
double r433124 = y;
double r433125 = r433123 - r433124;
double r433126 = 2.0;
double r433127 = r433123 * r433126;
double r433128 = r433127 * r433124;
double r433129 = r433125 / r433128;
return r433129;
}
double f(double x, double y) {
double r433130 = 1.0;
double r433131 = 2.0;
double r433132 = y;
double r433133 = r433131 * r433132;
double r433134 = r433130 / r433133;
double r433135 = x;
double r433136 = r433135 * r433131;
double r433137 = r433130 / r433136;
double r433138 = r433134 - r433137;
return r433138;
}




Bits error versus x




Bits error versus y
Results
| Original | 15.7 |
|---|---|
| Target | 0.0 |
| Herbie | 0.0 |
Initial program 15.7
rmApplied div-sub15.7
Simplified11.4
Simplified0.0
Final simplification0.0
herbie shell --seed 2019297
(FPCore (x y)
:name "Linear.Projection:inversePerspective from linear-1.19.1.3, B"
:precision binary64
:herbie-target
(- (/ 0.5 y) (/ 0.5 x))
(/ (- x y) (* (* x 2) y)))