Average Error: 0.0 → 0.0
Time: 31.5s
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 r295728 = x;
        double r295729 = y;
        double r295730 = r295728 + r295729;
        double r295731 = r295728 * r295729;
        double r295732 = r295730 - r295731;
        return r295732;
}
↓
double f(double x, double y) {
        double r295733 = x;
        double r295734 = y;
        double r295735 = r295733 + r295734;
        double r295736 = r295733 * r295734;
        double r295737 = r295735 - r295736;
        return r295737;
}

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