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 r137229 = a;
        double r137230 = b;
        double r137231 = r137229 + r137230;
        double r137232 = c;
        double r137233 = r137231 + r137232;
        double r137234 = 2.0;
        double r137235 = r137233 / r137234;
        double r137236 = r137235 - r137229;
        double r137237 = r137235 * r137236;
        double r137238 = r137235 - r137230;
        double r137239 = r137237 * r137238;
        double r137240 = r137235 - r137232;
        double r137241 = r137239 * r137240;
        double r137242 = sqrt(r137241);
        return r137242;
}