x - \frac{y}{4}x - \frac{y}{4}double f(double x, double y) {
double r7626067 = x;
double r7626068 = y;
double r7626069 = 4.0;
double r7626070 = r7626068 / r7626069;
double r7626071 = r7626067 - r7626070;
return r7626071;
}
double f(double x, double y) {
double r7626072 = x;
double r7626073 = y;
double r7626074 = 4.0;
double r7626075 = r7626073 / r7626074;
double r7626076 = r7626072 - r7626075;
return r7626076;
}



Bits error versus x



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