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.0} \cdot \left(\frac{\left(a + b\right) + c}{2.0} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - c\right)}\]
\sqrt{\left(\left(\frac{\left(a + b\right) + c}{2.0} \cdot \left(\frac{\left(a + b\right) + c}{2.0} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - c\right)}
double f(double a, double b, double c) {
        double r5479405 = a;
        double r5479406 = b;
        double r5479407 = r5479405 + r5479406;
        double r5479408 = c;
        double r5479409 = r5479407 + r5479408;
        double r5479410 = 2.0;
        double r5479411 = r5479409 / r5479410;
        double r5479412 = r5479411 - r5479405;
        double r5479413 = r5479411 * r5479412;
        double r5479414 = r5479411 - r5479406;
        double r5479415 = r5479413 * r5479414;
        double r5479416 = r5479411 - r5479408;
        double r5479417 = r5479415 * r5479416;
        double r5479418 = sqrt(r5479417);
        return r5479418;
}