Average Error: 0 → 0
Time: 512.0ms
Precision: 64
\[\frac{5}{20} + \frac{3}{2}\]
\[\frac{5}{20} + \frac{3}{2}\]
\frac{5}{20} + \frac{3}{2}
\frac{5}{20} + \frac{3}{2}
double f() {
        double r378080 = 5.0;
        double r378081 = 20.0;
        double r378082 = r378080 / r378081;
        double r378083 = 3.0;
        double r378084 = 2.0;
        double r378085 = r378083 / r378084;
        double r378086 = r378082 + r378085;
        return r378086;
}

double f() {
        double r378087 = 5.0;
        double r378088 = 20.0;
        double r378089 = r378087 / r378088;
        double r378090 = 3.0;
        double r378091 = 2.0;
        double r378092 = r378090 / r378091;
        double r378093 = r378089 + r378092;
        return r378093;
}

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 0

      \[\frac{5}{20} + \frac{3}{2}\]
    2. Final simplification0

      \[\leadsto \frac{5}{20} + \frac{3}{2}\]

    Reproduce

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