\frac{x}{y \cdot 2}\frac{x}{y \cdot 2}double f(double x, double y) {
double r231681 = x;
double r231682 = y;
double r231683 = 2.0;
double r231684 = r231682 * r231683;
double r231685 = r231681 / r231684;
return r231685;
}
double f(double x, double y) {
double r231686 = x;
double r231687 = y;
double r231688 = 2.0;
double r231689 = r231687 * r231688;
double r231690 = r231686 / r231689;
return r231690;
}



Bits error versus x



Bits error versus y
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2020064
(FPCore (x y)
:name "Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, C"
:precision binary64
(/ x (* y 2)))