Average Error: 0.1 → 0.1
Time: 11.8s
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 r14602922 = 841.0;
        double r14602923 = 108.0;
        double r14602924 = r14602922 / r14602923;
        double r14602925 = x;
        double r14602926 = r14602924 * r14602925;
        double r14602927 = 4.0;
        double r14602928 = 29.0;
        double r14602929 = r14602927 / r14602928;
        double r14602930 = r14602926 + r14602929;
        return r14602930;
}
↓
double f(double x) {
        double r14602931 = 4.0;
        double r14602932 = 29.0;
        double r14602933 = r14602931 / r14602932;
        double r14602934 = 841.0;
        double r14602935 = 108.0;
        double r14602936 = r14602934 / r14602935;
        double r14602937 = x;
        double r14602938 = r14602936 * r14602937;
        double r14602939 = r14602933 + r14602938;
        return r14602939;
}

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 2019163 
(FPCore (x)
  :name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
  (+ (* (/ 841.0 108.0) x) (/ 4.0 29.0)))