double f(double a, double b) {
        double r719056 = a;
        double r719057 = b;
        double r719058 = r719056 - r719057;
        double r719059 = fabs(r719058);
        double r719060 = 2.0;
        double r719061 = r719059 / r719060;
        return r719061;
}

double f(double a, double b) {
        double r719062 = a;
        double r719063 = b;
        double r719064 = r719062 - r719063;
        double r719065 = fabs(r719064);
        double r719066 = 2.0;
        double r719067 = r719065 / r719066;
        return r719067;
}

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

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