double f(double f, double n) {
double r4960078 = f;
double r4960079 = n;
double r4960080 = r4960078 + r4960079;
double r4960081 = -r4960080;
double r4960082 = r4960078 - r4960079;
double r4960083 = r4960081 / r4960082;
return r4960083;
}
double f(double f, double n) {
double r4960084 = n;
double r4960085 = f;
double r4960086 = r4960084 + r4960085;
double r4960087 = -r4960086;
double r4960088 = r4960085 - r4960084;
double r4960089 = r4960087 / r4960088;
return r4960089;
}
\frac{-\left(f + n\right)}{f - n}\frac{-\left(n + f\right)}{f - n}


Bits error versus f



Bits error versus n
Initial program 0.0
Final simplification0.0
herbie shell --seed 2019102
(FPCore (f n)
:name "subtraction fraction"
(/ (- (+ f n)) (- f n)))