Average Error: 0.1 → 0.1
Time: 11.5s
Precision: 64
\[\frac{841}{108} \cdot x + \frac{4}{29}\]
↓
\[\frac{841}{108} \cdot x + \frac{4}{29}\]
\frac{841}{108} \cdot x + \frac{4}{29}
↓
\frac{841}{108} \cdot x + \frac{4}{29}
double f(double x) {
        double r296138 = 841.0;
        double r296139 = 108.0;
        double r296140 = r296138 / r296139;
        double r296141 = x;
        double r296142 = r296140 * r296141;
        double r296143 = 4.0;
        double r296144 = 29.0;
        double r296145 = r296143 / r296144;
        double r296146 = r296142 + r296145;
        return r296146;
}
↓
double f(double x) {
        double r296147 = 841.0;
        double r296148 = 108.0;
        double r296149 = r296147 / r296148;
        double r296150 = x;
        double r296151 = r296149 * r296150;
        double r296152 = 4.0;
        double r296153 = 29.0;
        double r296154 = r296152 / r296153;
        double r296155 = r296151 + r296154;
        return r296155;
}

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}{108} \cdot x + \frac{4}{29}\]

  2. Final simplification0.1

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

Reproduce

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