double f(double a, double b) {
        double r581042 = a;
        double r581043 = b;
        double r581044 = r581042 - r581043;
        double r581045 = fabs(r581044);
        double r581046 = 2.0;
        double r581047 = r581045 / r581046;
        return r581047;
}

double f(double a, double b) {
        double r581048 = a;
        double r581049 = b;
        double r581050 = r581048 - r581049;
        double r581051 = fabs(r581050);
        double r581052 = 2.0;
        double r581053 = r581051 / r581052;
        return r581053;
}

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

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