Average Error: 0 → 0
Time: 318.0ms
Precision: 64
\[\frac{5.900000000000000355271367880050092935562}{2}\]
\[\frac{5.900000000000000355271367880050092935562}{2}\]
\frac{5.900000000000000355271367880050092935562}{2}
\frac{5.900000000000000355271367880050092935562}{2}
double f() {
        double r1195423 = 5.9;
        double r1195424 = 2.0;
        double r1195425 = r1195423 / r1195424;
        return r1195425;
}

double f() {
        double r1195426 = 5.9;
        double r1195427 = 2.0;
        double r1195428 = r1195426 / r1195427;
        return r1195428;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\frac{5.900000000000000355271367880050092935562}{2}\]
    2. Final simplification0

      \[\leadsto \frac{5.900000000000000355271367880050092935562}{2}\]

    Reproduce

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