Average Error: 0 → 0
Time: 946.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 r58651 = a;
        double r58652 = b;
        double r58653 = r58651 - r58652;
        double r58654 = fabs(r58653);
        double r58655 = 2.0;
        double r58656 = r58654 / r58655;
        return r58656;
}
↓
double f(double a, double b) {
        double r58657 = a;
        double r58658 = b;
        double r58659 = r58657 - r58658;
        double r58660 = fabs(r58659);
        double r58661 = 2.0;
        double r58662 = r58660 / r58661;
        return r58662;
}

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 2019153 +o rules:numerics
(FPCore (a b)
  :name "fabs fraction 2"
  (/ (fabs (- a b)) 2))