Average Error: 0 → 0
Time: 867.0ms
Precision: 64
\[1 + x\]
\[1 + x\]
1 + x
1 + x
double f(double x) {
        double r54156399 = 1.0;
        double r54156400 = x;
        double r54156401 = r54156399 + r54156400;
        return r54156401;
}

double f(double x) {
        double r54156402 = 1.0;
        double r54156403 = x;
        double r54156404 = r54156402 + r54156403;
        return r54156404;
}

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 + x\]
  2. Final simplification0

    \[\leadsto 1 + x\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "1+x"
  (+ 1.0 x))