Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.0 \lt c\]
\[\sqrt{\left(\left(\frac{\left(a + b\right) + c}{2} \cdot \left(\frac{\left(a + b\right) + c}{2} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - c\right)}\]
\sqrt{\left(\left(\frac{\left(a + b\right) + c}{2} \cdot \left(\frac{\left(a + b\right) + c}{2} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2} - c\right)}
double f(double a, double b, double c) {
        double r18047 = a;
        double r18048 = b;
        double r18049 = r18047 + r18048;
        double r18050 = c;
        double r18051 = r18049 + r18050;
        double r18052 = 2.0;
        double r18053 = r18051 / r18052;
        double r18054 = r18053 - r18047;
        double r18055 = r18053 * r18054;
        double r18056 = r18053 - r18048;
        double r18057 = r18055 * r18056;
        double r18058 = r18053 - r18050;
        double r18059 = r18057 * r18058;
        double r18060 = sqrt(r18059);
        return r18060;
}