Average Error: 0 → 0
Time: 195.0ms
Precision: 64
\[3.14158999999999988261834005243144929409\]
\[3.14158999999999988261834005243144929409\]
3.14158999999999988261834005243144929409
3.14158999999999988261834005243144929409
double f() {
        double r1335636 = 3.14159;
        return r1335636;
}

double f() {
        double r1335637 = 3.14159;
        return r1335637;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[3.14158999999999988261834005243144929409\]
    2. Final simplification0

      \[\leadsto 3.14158999999999988261834005243144929409\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "3.14159"
      :precision binary64
      3.1415899999999999)