Average Error: 0 → 0
Time: 323.0ms
Precision: 64
\[0.1000000000000000055511151231257827021182 + 0.1000000000000000055511151231257827021182\]
\[0.1000000000000000055511151231257827021182 + 0.1000000000000000055511151231257827021182\]
0.1000000000000000055511151231257827021182 + 0.1000000000000000055511151231257827021182
0.1000000000000000055511151231257827021182 + 0.1000000000000000055511151231257827021182
double f() {
        double r1934573 = 0.1;
        double r1934574 = r1934573 + r1934573;
        return r1934574;
}

double f() {
        double r1934575 = 0.1;
        double r1934576 = r1934575 + r1934575;
        return r1934576;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[0.1000000000000000055511151231257827021182 + 0.1000000000000000055511151231257827021182\]
    2. Final simplification0

      \[\leadsto 0.1000000000000000055511151231257827021182 + 0.1000000000000000055511151231257827021182\]

    Reproduce

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