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 r7036 = a;
        double r7037 = b;
        double r7038 = r7036 + r7037;
        double r7039 = c;
        double r7040 = r7038 + r7039;
        double r7041 = 2.0;
        double r7042 = r7040 / r7041;
        double r7043 = r7042 - r7036;
        double r7044 = r7042 * r7043;
        double r7045 = r7042 - r7037;
        double r7046 = r7044 * r7045;
        double r7047 = r7042 - r7039;
        double r7048 = r7046 * r7047;
        double r7049 = sqrt(r7048);
        return r7049;
}