Average Error: 0 → 0
Time: 394.0ms
Precision: 64
\[1 + 1\]
\[1 + 1\]
1 + 1
1 + 1
double f() {
        double r1509774 = 1.0;
        double r1509775 = r1509774 + r1509774;
        return r1509775;
}

double f() {
        double r1509776 = 1.0;
        double r1509777 = r1509776 + r1509776;
        return r1509777;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[1 + 1\]
    2. Final simplification0

      \[\leadsto 1 + 1\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "1+1"
      :precision binary64
      (+ 1 1))