Average Error: 0.1 → 0.1
Time: 9.5s
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 r25101249 = 841.0;
        double r25101250 = 108.0;
        double r25101251 = r25101249 / r25101250;
        double r25101252 = x;
        double r25101253 = r25101251 * r25101252;
        double r25101254 = 4.0;
        double r25101255 = 29.0;
        double r25101256 = r25101254 / r25101255;
        double r25101257 = r25101253 + r25101256;
        return r25101257;
}
↓
double f(double x) {
        double r25101258 = 4.0;
        double r25101259 = 29.0;
        double r25101260 = r25101258 / r25101259;
        double r25101261 = 841.0;
        double r25101262 = 108.0;
        double r25101263 = r25101261 / r25101262;
        double r25101264 = x;
        double r25101265 = r25101263 * r25101264;
        double r25101266 = r25101260 + r25101265;
        return r25101266;
}

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