Average Error: 0.0 → 0.0
Time: 11.4s
Precision: 64
\[\frac{-\left(f + n\right)}{f - n}\]
↓
\[\frac{-\left(n + f\right)}{f - n}\]
\frac{-\left(f + n\right)}{f - n}
↓
\frac{-\left(n + f\right)}{f - n}
double f(double f, double n) {
        double r680327 = f;
        double r680328 = n;
        double r680329 = r680327 + r680328;
        double r680330 = -r680329;
        double r680331 = r680327 - r680328;
        double r680332 = r680330 / r680331;
        return r680332;
}
↓
double f(double f, double n) {
        double r680333 = n;
        double r680334 = f;
        double r680335 = r680333 + r680334;
        double r680336 = -r680335;
        double r680337 = r680334 - r680333;
        double r680338 = r680336 / r680337;
        return r680338;
}

Error

Bits error versus f

Bits error versus n

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

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 2019172 +o rules:numerics
(FPCore (f n)
  :name "subtraction fraction"
  (/ (- (+ f n)) (- f n)))