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 r13243 = a;
        double r13244 = b;
        double r13245 = r13243 + r13244;
        double r13246 = c;
        double r13247 = r13245 + r13246;
        double r13248 = 2.0;
        double r13249 = r13247 / r13248;
        double r13250 = r13249 - r13243;
        double r13251 = r13249 * r13250;
        double r13252 = r13249 - r13244;
        double r13253 = r13251 * r13252;
        double r13254 = r13249 - r13246;
        double r13255 = r13253 * r13254;
        double r13256 = sqrt(r13255);
        return r13256;
}