Average Error: 0 → 0
Time: 183.0ms
Precision: 64
\[5.299999999999999822364316059974953532219\]
\[5.299999999999999822364316059974953532219\]
5.299999999999999822364316059974953532219
5.299999999999999822364316059974953532219
double f() {
        double r749050 = 5.3;
        return r749050;
}

double f() {
        double r749051 = 5.3;
        return r749051;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[5.299999999999999822364316059974953532219\]
    2. Final simplification0

      \[\leadsto 5.299999999999999822364316059974953532219\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "5.3"
      :precision binary64
      5.29999999999999982)