Average Error: 0 → 0
Time: 447.0ms
Precision: 64
\[1 + \frac{1}{2}\]
\[1 + \frac{1}{2}\]
1 + \frac{1}{2}
1 + \frac{1}{2}
double f() {
        double r1337171 = 1.0;
        double r1337172 = 2.0;
        double r1337173 = r1337171 / r1337172;
        double r1337174 = r1337171 + r1337173;
        return r1337174;
}

double f() {
        double r1337175 = 1.0;
        double r1337176 = 2.0;
        double r1337177 = r1337175 / r1337176;
        double r1337178 = r1337175 + r1337177;
        return r1337178;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

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

      \[\leadsto 1 + \frac{1}{2}\]

    Reproduce

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