Average Error: 0 → 0
Time: 435.0ms
Precision: 64
\[1 + 1\]
\[2\]
1 + 1
2
double f() {
        double r6670502 = 1.0;
        double r6670503 = r6670502 + r6670502;
        return r6670503;
}

double f() {
        double r6670504 = 2.0;
        return r6670504;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[1 + 1\]
    2. Simplified0

      \[\leadsto \color{blue}{2}\]
    3. Final simplification0

      \[\leadsto 2\]

    Reproduce

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