Average Error: 0 → 0
Time: 311.0ms
Precision: 64
\[1 - 0.1000000000000000055511151231257827021182\]
\[1 - 0.1000000000000000055511151231257827021182\]
1 - 0.1000000000000000055511151231257827021182
1 - 0.1000000000000000055511151231257827021182
double f() {
        double r1509842 = 1.0;
        double r1509843 = 0.1;
        double r1509844 = r1509842 - r1509843;
        return r1509844;
}

double f() {
        double r1509845 = 1.0;
        double r1509846 = 0.1;
        double r1509847 = r1509845 - r1509846;
        return r1509847;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[1 - 0.1000000000000000055511151231257827021182\]
    2. Final simplification0

      \[\leadsto 1 - 0.1000000000000000055511151231257827021182\]

    Reproduce

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