Average Error: 0.1 → 0.1
Time: 366.0ms
Precision: 64
\[\frac{x \cdot y}{2}\]
↓
\[\frac{x \cdot y}{2}\]
\frac{x \cdot y}{2}
↓
\frac{x \cdot y}{2}
double f(double x, double y) {
        double r144282 = x;
        double r144283 = y;
        double r144284 = r144282 * r144283;
        double r144285 = 2.0;
        double r144286 = r144284 / r144285;
        return r144286;
}
↓
double f(double x, double y) {
        double r144287 = x;
        double r144288 = y;
        double r144289 = r144287 * r144288;
        double r144290 = 2.0;
        double r144291 = r144289 / r144290;
        return r144291;
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\frac{x \cdot y}{2}\]

  2. Final simplification0.1

    \[\leadsto \frac{x \cdot y}{2}\]

Reproduce

herbie shell --seed 2020039 
(FPCore (x y)
  :name "Numeric.Interval.Internal:scale from intervals-0.7.1, B"
  :precision binary64
  (/ (* x y) 2))