Average Error: 0 → 0
Time: 1.6s
Precision: 64
\[x \cdot 2 - y\]
↓
\[x \cdot 2 - y\]
x \cdot 2 - y
↓
x \cdot 2 - y
double f(double x, double y) {
        double r14525656 = x;
        double r14525657 = 2.0;
        double r14525658 = r14525656 * r14525657;
        double r14525659 = y;
        double r14525660 = r14525658 - r14525659;
        return r14525660;
}
↓
double f(double x, double y) {
        double r14525661 = x;
        double r14525662 = 2.0;
        double r14525663 = r14525661 * r14525662;
        double r14525664 = y;
        double r14525665 = r14525663 - r14525664;
        return r14525665;
}

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

    \[x \cdot 2 - y\]

  2. Final simplification0

    \[\leadsto x \cdot 2 - y\]

Reproduce

herbie shell --seed 2019168 
(FPCore (x y)
  :name "Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, C"
  (- (* x 2.0) y))