Average Error: 0.0 → 0.0
Time: 868.0ms
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 r274611 = x;
        double r274612 = y;
        double r274613 = r274611 + r274612;
        double r274614 = r274611 * r274612;
        double r274615 = r274613 - r274614;
        return r274615;
}
↓
double f(double x, double y) {
        double r274616 = x;
        double r274617 = y;
        double r274618 = r274616 + r274617;
        double r274619 = r274616 * r274617;
        double r274620 = r274618 - r274619;
        return r274620;
}

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 2020089 
(FPCore (x y)
  :name "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, A"
  :precision binary64
  (- (+ x y) (* x y)))