Average Error: 0 → 0
Time: 337.0ms
Precision: 64
\[\frac{3}{2}\]
\[\frac{3}{2}\]
\frac{3}{2}
\frac{3}{2}
double f() {
        double r1960090 = 3.0;
        double r1960091 = 2.0;
        double r1960092 = r1960090 / r1960091;
        return r1960092;
}

double f() {
        double r1960093 = 3.0;
        double r1960094 = 2.0;
        double r1960095 = r1960093 / r1960094;
        return r1960095;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

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

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

    Reproduce

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