Average Error: 0 → 0
Time: 184.0ms
Precision: 64
\[5.900000000000000355271367880050092935562\]
\[5.900000000000000355271367880050092935562\]
5.900000000000000355271367880050092935562
5.900000000000000355271367880050092935562
double f() {
        double r1195455 = 5.9;
        return r1195455;
}

double f() {
        double r1195456 = 5.9;
        return r1195456;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[5.900000000000000355271367880050092935562\]
    2. Final simplification0

      \[\leadsto 5.900000000000000355271367880050092935562\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "5.9"
      :precision binary64
      5.9000000000000004)