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 r77791 = a;
        double r77792 = b;
        double r77793 = r77791 + r77792;
        double r77794 = c;
        double r77795 = r77793 + r77794;
        double r77796 = 2.0;
        double r77797 = r77795 / r77796;
        double r77798 = r77797 - r77791;
        double r77799 = r77797 * r77798;
        double r77800 = r77797 - r77792;
        double r77801 = r77799 * r77800;
        double r77802 = r77797 - r77794;
        double r77803 = r77801 * r77802;
        double r77804 = sqrt(r77803);
        return r77804;
}