Average Error: 0 → 0
Time: 935.0ms
Precision: 64
\[\frac{\left|a - b\right|}{2}\]
↓
\[\frac{\left|a - b\right|}{2}\]
\frac{\left|a - b\right|}{2}
↓
\frac{\left|a - b\right|}{2}
double f(double a, double b) {
        double r370244 = a;
        double r370245 = b;
        double r370246 = r370244 - r370245;
        double r370247 = fabs(r370246);
        double r370248 = 2.0;
        double r370249 = r370247 / r370248;
        return r370249;
}
↓
double f(double a, double b) {
        double r370250 = a;
        double r370251 = b;
        double r370252 = r370250 - r370251;
        double r370253 = fabs(r370252);
        double r370254 = 2.0;
        double r370255 = r370253 / r370254;
        return r370255;
}

Error

Bits error versus a

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[\frac{\left|a - b\right|}{2}\]

  2. Final simplification0

    \[\leadsto \frac{\left|a - b\right|}{2}\]

Reproduce

herbie shell --seed 2019139 +o rules:numerics
(FPCore (a b)
  :name "fabs fraction 2"
  (/ (fabs (- a b)) 2))