Average Error: 0 → 0
Time: 1.3s
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 r396656 = a;
        double r396657 = b;
        double r396658 = r396656 - r396657;
        double r396659 = fabs(r396658);
        double r396660 = 2.0;
        double r396661 = r396659 / r396660;
        return r396661;
}
↓
double f(double a, double b) {
        double r396662 = a;
        double r396663 = b;
        double r396664 = r396662 - r396663;
        double r396665 = fabs(r396664);
        double r396666 = 2.0;
        double r396667 = r396665 / r396666;
        return r396667;
}

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