Average Error: 0.1 → 0.1
Time: 7.0s
Precision: 64
\[\frac{841.0}{108.0} \cdot x + \frac{4.0}{29.0}\]
↓
\[\frac{4.0}{29.0} + \frac{841.0}{108.0} \cdot x\]
\frac{841.0}{108.0} \cdot x + \frac{4.0}{29.0}
↓
\frac{4.0}{29.0} + \frac{841.0}{108.0} \cdot x
double f(double x) {
        double r15125001 = 841.0;
        double r15125002 = 108.0;
        double r15125003 = r15125001 / r15125002;
        double r15125004 = x;
        double r15125005 = r15125003 * r15125004;
        double r15125006 = 4.0;
        double r15125007 = 29.0;
        double r15125008 = r15125006 / r15125007;
        double r15125009 = r15125005 + r15125008;
        return r15125009;
}
↓
double f(double x) {
        double r15125010 = 4.0;
        double r15125011 = 29.0;
        double r15125012 = r15125010 / r15125011;
        double r15125013 = 841.0;
        double r15125014 = 108.0;
        double r15125015 = r15125013 / r15125014;
        double r15125016 = x;
        double r15125017 = r15125015 * r15125016;
        double r15125018 = r15125012 + r15125017;
        return r15125018;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\frac{841.0}{108.0} \cdot x + \frac{4.0}{29.0}\]

  2. Final simplification0.1

    \[\leadsto \frac{4.0}{29.0} + \frac{841.0}{108.0} \cdot x\]

Reproduce

herbie shell --seed 2019168 +o rules:numerics
(FPCore (x)
  :name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
  (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))