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 r3114 = a;
        double r3115 = b;
        double r3116 = r3114 + r3115;
        double r3117 = c;
        double r3118 = r3116 + r3117;
        double r3119 = 2.0;
        double r3120 = r3118 / r3119;
        double r3121 = r3120 - r3114;
        double r3122 = r3120 * r3121;
        double r3123 = r3120 - r3115;
        double r3124 = r3122 * r3123;
        double r3125 = r3120 - r3117;
        double r3126 = r3124 * r3125;
        double r3127 = sqrt(r3126);
        return r3127;
}