Average Error: 0 → 0
Time: 414.0ms
Precision: 64
\[1 + 100\]
\[101\]
1 + 100
101
double f() {
        double r6670563 = 1.0;
        double r6670564 = 100.0;
        double r6670565 = r6670563 + r6670564;
        return r6670565;
}

double f() {
        double r6670566 = 101.0;
        return r6670566;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[1 + 100\]
    2. Simplified0

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

      \[\leadsto 101\]

    Reproduce

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