Average Error: 0.0 → 0.0
Time: 11.7s
Precision: 64
\[200 \cdot \left(x - y\right)\]
↓
\[200 \cdot \left(x - y\right)\]
200 \cdot \left(x - y\right)
↓
200 \cdot \left(x - y\right)
double f(double x, double y) {
        double r28342 = 200.0;
        double r28343 = x;
        double r28344 = y;
        double r28345 = r28343 - r28344;
        double r28346 = r28342 * r28345;
        return r28346;
}
↓
double f(double x, double y) {
        double r28347 = 200.0;
        double r28348 = x;
        double r28349 = y;
        double r28350 = r28348 - r28349;
        double r28351 = r28347 * r28350;
        return r28351;
}

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

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

  2. Final simplification0.0

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

Reproduce

herbie shell --seed 2019315 +o rules:numerics
(FPCore (x y)
  :name "Data.Colour.CIE:cieLABView from colour-2.3.3, C"
  :precision binary64
  (* 200 (- x y)))