Average Error: 0 → 0
Time: 303.0ms
Precision: 64
\[0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363\]
\[0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363\]
0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363
0.1000000000000000055511151231257827021182 + 0.2000000000000000111022302462515654042363
double f() {
        double r284055 = 0.1;
        double r284056 = 0.2;
        double r284057 = r284055 + r284056;
        return r284057;
}

double f() {
        double r284058 = 0.1;
        double r284059 = 0.2;
        double r284060 = r284058 + r284059;
        return r284060;
}

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 "0.1 + 0.2"
      :precision binary64
      (+ 0.10000000000000001 0.20000000000000001))