Data.Colour.CIE:cieLABView from colour-2.3.3, A

Average Error: 0.1 → 0.1

Time: 7.1s

Precision: 64

• Falling back on racket egraph because egg-herbie package not installed

Math

\[\frac{841}{108} \cdot x + \frac{4}{29}\]

↓

\[\frac{841}{108} \cdot x + \frac{4}{29}\]

C

double f(double x) {
        double r249432 = 841.0;
        double r249433 = 108.0;
        double r249434 = r249432 / r249433;
        double r249435 = x;
        double r249436 = r249434 * r249435;
        double r249437 = 4.0;
        double r249438 = 29.0;
        double r249439 = r249437 / r249438;
        double r249440 = r249436 + r249439;
        return r249440;
}

↓

double f(double x) {
        double r249441 = 841.0;
        double r249442 = 108.0;
        double r249443 = r249441 / r249442;
        double r249444 = x;
        double r249445 = r249443 * r249444;
        double r249446 = 4.0;
        double r249447 = 29.0;
        double r249448 = r249446 / r249447;
        double r249449 = r249445 + r249448;
        return r249449;
}

Error

Bits error versus x

Derivation

1. Initial program 0.1

   \[\frac{841}{108} \cdot x + \frac{4}{29}\]

2. Final simplification 0.1

   \[\leadsto \frac{841}{108} \cdot x + \frac{4}{29}\]

Reproduce

herbie shell --seed 2019351 +o rules:numerics
(FPCore (x)
  :name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
  :precision binary64
  (+ (* (/ 841 108) x) (/ 4 29)))