double f(double a, double b) {
        double r995655 = a;
        double r995656 = b;
        double r995657 = r995655 - r995656;
        double r995658 = fabs(r995657);
        double r995659 = 2.0;
        double r995660 = r995658 / r995659;
        return r995660;
}

double f(double a, double b) {
        double r995661 = a;
        double r995662 = b;
        double r995663 = r995661 - r995662;
        double r995664 = fabs(r995663);
        double r995665 = 2.0;
        double r995666 = r995664 / r995665;
        return r995666;
}

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

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