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 r24899 = a;
        double r24900 = b;
        double r24901 = r24899 + r24900;
        double r24902 = c;
        double r24903 = r24901 + r24902;
        double r24904 = 2.0;
        double r24905 = r24903 / r24904;
        double r24906 = r24905 - r24899;
        double r24907 = r24905 * r24906;
        double r24908 = r24905 - r24900;
        double r24909 = r24907 * r24908;
        double r24910 = r24905 - r24902;
        double r24911 = r24909 * r24910;
        double r24912 = sqrt(r24911);
        return r24912;
}