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 r5159 = a;
        double r5160 = b;
        double r5161 = r5159 + r5160;
        double r5162 = c;
        double r5163 = r5161 + r5162;
        double r5164 = 2.0;
        double r5165 = r5163 / r5164;
        double r5166 = r5165 - r5159;
        double r5167 = r5165 * r5166;
        double r5168 = r5165 - r5160;
        double r5169 = r5167 * r5168;
        double r5170 = r5165 - r5162;
        double r5171 = r5169 * r5170;
        double r5172 = sqrt(r5171);
        return r5172;
}