x - \frac{y}{4}x - \frac{y}{4}double f(double x, double y) {
double r10821545 = x;
double r10821546 = y;
double r10821547 = 4.0;
double r10821548 = r10821546 / r10821547;
double r10821549 = r10821545 - r10821548;
return r10821549;
}
double f(double x, double y) {
double r10821550 = x;
double r10821551 = y;
double r10821552 = 4.0;
double r10821553 = r10821551 / r10821552;
double r10821554 = r10821550 - r10821553;
return r10821554;
}



Bits error versus x



Bits error versus y
Results
Initial program 0
Final simplification0
herbie shell --seed 2019200
(FPCore (x y)
:name "Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, E"
(- x (/ y 4.0)))