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 r11024 = a;
        double r11025 = b;
        double r11026 = r11024 + r11025;
        double r11027 = c;
        double r11028 = r11026 + r11027;
        double r11029 = 2.0;
        double r11030 = r11028 / r11029;
        double r11031 = r11030 - r11024;
        double r11032 = r11030 * r11031;
        double r11033 = r11030 - r11025;
        double r11034 = r11032 * r11033;
        double r11035 = r11030 - r11027;
        double r11036 = r11034 * r11035;
        double r11037 = sqrt(r11036);
        return r11037;
}