double f(double a, double b) {
        double r517370 = a;
        double r517371 = b;
        double r517372 = r517370 - r517371;
        double r517373 = fabs(r517372);
        double r517374 = 2.0;
        double r517375 = r517373 / r517374;
        return r517375;
}

double f(double a, double b) {
        double r517376 = a;
        double r517377 = b;
        double r517378 = r517376 - r517377;
        double r517379 = fabs(r517378);
        double r517380 = 2.0;
        double r517381 = r517379 / r517380;
        return r517381;
}

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

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