Average Error: 0 → 0
Time: 538.0ms
Precision: 64
\[\frac{1}{3}\]
\[\frac{1}{3}\]
\frac{1}{3}
\frac{1}{3}
double f() {
        double r4361176 = 1.0;
        double r4361177 = 3.0;
        double r4361178 = r4361176 / r4361177;
        return r4361178;
}

double f() {
        double r4361179 = 1.0;
        double r4361180 = 3.0;
        double r4361181 = r4361179 / r4361180;
        return r4361181;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

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

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

    Reproduce

    herbie shell --seed 1 
    (FPCore ()
      :name "1/3"
      (/ 1.0 3.0))