Average Error: 0.0 → 0.0

Time: 768.0ms

Precision: 64

\[x + \frac{y}{500}\]

↓

\[\frac{y}{500} + x\]

x + \frac{y}{500}

↓

\frac{y}{500} + x

double f(double x, double y) {
        double r235391 = x;
        double r235392 = y;
        double r235393 = 500.0;
        double r235394 = r235392 / r235393;
        double r235395 = r235391 + r235394;
        return r235395;
}

↓

double f(double x, double y) {
        double r235396 = y;
        double r235397 = 500.0;
        double r235398 = r235396 / r235397;
        double r235399 = x;
        double r235400 = r235398 + r235399;
        return r235400;
}

Error

The X axis uses an exponential scale — Bits error versus `x`

Try it out

In
Out

Enter valid numbers for all inputs

Derivation

Initial program 0.0
\[x + \frac{y}{500}\]
Final simplification0.0
\[\leadsto \frac{y}{500} + x\]

Reproduce

herbie shell --seed 2019174 
(FPCore (x y)
  :name "Data.Colour.CIE:cieLAB from colour-2.3.3, C"
  (+ x (/ y 500.0)))