Average Error: 0.1 → 0.1
Time: 5.6s
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 r252891 = 841.0;
        double r252892 = 108.0;
        double r252893 = r252891 / r252892;
        double r252894 = x;
        double r252895 = r252893 * r252894;
        double r252896 = 4.0;
        double r252897 = 29.0;
        double r252898 = r252896 / r252897;
        double r252899 = r252895 + r252898;
        return r252899;
}

double f(double x) {
        double r252900 = 841.0;
        double r252901 = 108.0;
        double r252902 = r252900 / r252901;
        double r252903 = x;
        double r252904 = r252902 * r252903;
        double r252905 = 4.0;
        double r252906 = 29.0;
        double r252907 = r252905 / r252906;
        double r252908 = r252904 + r252907;
        return r252908;
}

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)))