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 r70053 = a;
        double r70054 = b;
        double r70055 = r70053 + r70054;
        double r70056 = c;
        double r70057 = r70055 + r70056;
        double r70058 = 2.0;
        double r70059 = r70057 / r70058;
        double r70060 = r70059 - r70053;
        double r70061 = r70059 * r70060;
        double r70062 = r70059 - r70054;
        double r70063 = r70061 * r70062;
        double r70064 = r70059 - r70056;
        double r70065 = r70063 * r70064;
        double r70066 = sqrt(r70065);
        return r70066;
}