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 r83345 = a;
        double r83346 = b;
        double r83347 = r83345 + r83346;
        double r83348 = c;
        double r83349 = r83347 + r83348;
        double r83350 = 2.0;
        double r83351 = r83349 / r83350;
        double r83352 = r83351 - r83345;
        double r83353 = r83351 * r83352;
        double r83354 = r83351 - r83346;
        double r83355 = r83353 * r83354;
        double r83356 = r83351 - r83348;
        double r83357 = r83355 * r83356;
        double r83358 = sqrt(r83357);
        return r83358;
}