Average Error: 0.0 → 0.0
Time: 2.3m
Precision: 64
\[\frac{-\left(f + n\right)}{f - n}\]
\[\frac{-\left(n + f\right)}{f - n}\]
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}

Error

Bits error versus f

Bits error versus n

Derivation

  1. Initial program 0.0

    \[\frac{-\left(f + n\right)}{f - n}\]
  2. Final simplification0.0

    \[\leadsto \frac{-\left(n + f\right)}{f - n}\]

Reproduce

herbie shell --seed 2019102 
(FPCore (f n)
  :name "subtraction fraction"
  (/ (- (+ f n)) (- f n)))