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 r19507 = a;
        double r19508 = b;
        double r19509 = r19507 + r19508;
        double r19510 = c;
        double r19511 = r19509 + r19510;
        double r19512 = 2.0;
        double r19513 = r19511 / r19512;
        double r19514 = r19513 - r19507;
        double r19515 = r19513 * r19514;
        double r19516 = r19513 - r19508;
        double r19517 = r19515 * r19516;
        double r19518 = r19513 - r19510;
        double r19519 = r19517 * r19518;
        double r19520 = sqrt(r19519);
        return r19520;
}