Cannot sample enough valid points. (more)

\[0.0 \lt a \lt b + c \land 0.0 \lt b \lt a + c \land 0.0 \lt c \lt a + b\]
\[\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 r99471 = a;
        double r99472 = b;
        double r99473 = r99471 + r99472;
        double r99474 = c;
        double r99475 = r99473 + r99474;
        double r99476 = 2.0;
        double r99477 = r99475 / r99476;
        double r99478 = r99477 - r99471;
        double r99479 = r99477 * r99478;
        double r99480 = r99477 - r99472;
        double r99481 = r99479 * r99480;
        double r99482 = r99477 - r99474;
        double r99483 = r99481 * r99482;
        double r99484 = sqrt(r99483);
        return r99484;
}