Average Error: 0.0 → 0.0
Time: 1.1s
Precision: 64
\[\left(x + y\right) - x \cdot y\]
↓
\[\left(x + y\right) - x \cdot y\]
\left(x + y\right) - x \cdot y
↓
\left(x + y\right) - x \cdot y
double f(double x, double y) {
        double r196729 = x;
        double r196730 = y;
        double r196731 = r196729 + r196730;
        double r196732 = r196729 * r196730;
        double r196733 = r196731 - r196732;
        return r196733;
}
↓
double f(double x, double y) {
        double r196734 = x;
        double r196735 = y;
        double r196736 = r196734 + r196735;
        double r196737 = r196734 * r196735;
        double r196738 = r196736 - r196737;
        return r196738;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\left(x + y\right) - x \cdot y\]

  2. Final simplification0.0

    \[\leadsto \left(x + y\right) - x \cdot y\]

Reproduce

herbie shell --seed 2020034 +o rules:numerics
(FPCore (x y)
  :name "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, A"
  :precision binary64
  (- (+ x y) (* x y)))