Average Error: 0.1 → 0.1
Time: 12.0s
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 r1512857 = 841.0;
        double r1512858 = 108.0;
        double r1512859 = r1512857 / r1512858;
        double r1512860 = x;
        double r1512861 = r1512859 * r1512860;
        double r1512862 = 4.0;
        double r1512863 = 29.0;
        double r1512864 = r1512862 / r1512863;
        double r1512865 = r1512861 + r1512864;
        return r1512865;
}

double f(double x) {
        double r1512866 = 841.0;
        double r1512867 = 108.0;
        double r1512868 = r1512866 / r1512867;
        double r1512869 = x;
        double r1512870 = r1512868 * r1512869;
        double r1512871 = 4.0;
        double r1512872 = 29.0;
        double r1512873 = r1512871 / r1512872;
        double r1512874 = r1512870 + r1512873;
        return r1512874;
}

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 2019235 
(FPCore (x)
  :name "Data.Colour.CIE:cieLABView from colour-2.3.3, A"
  :precision binary64
  (+ (* (/ 841 108) x) (/ 4 29)))