Average Error: 0 → 0
Time: 168.0ms
Precision: 64
\[1.340000000000000079936057773011270910501\]
\[1.340000000000000079936057773011270910501\]
1.340000000000000079936057773011270910501
1.340000000000000079936057773011270910501
double f() {
        double r911351 = 1.34;
        return r911351;
}

double f() {
        double r911352 = 1.34;
        return r911352;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[1.340000000000000079936057773011270910501\]
    2. Final simplification0

      \[\leadsto 1.340000000000000079936057773011270910501\]

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "1.34"
      :precision binary64
      1.34000000000000008)