Average Error: 0 → 0
Time: 300.0ms
Precision: 64
\[0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363\]
\[0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363\]
0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363
0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363
double f() {
        double r1864388 = 0.1;
        double r1864389 = 0.2;
        double r1864390 = r1864388 + r1864389;
        return r1864390;
}

double f() {
        double r1864391 = 0.1;
        double r1864392 = 0.2;
        double r1864393 = r1864391 + r1864392;
        return r1864393;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363\]
    2. Final simplification0

      \[\leadsto 0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name ".1 + .2"
      :precision binary64
      (+ 0.10000000000000001 0.20000000000000001))