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 r97280 = a;
        double r97281 = b;
        double r97282 = r97280 + r97281;
        double r97283 = c;
        double r97284 = r97282 + r97283;
        double r97285 = 2.0;
        double r97286 = r97284 / r97285;
        double r97287 = r97286 - r97280;
        double r97288 = r97286 * r97287;
        double r97289 = r97286 - r97281;
        double r97290 = r97288 * r97289;
        double r97291 = r97286 - r97283;
        double r97292 = r97290 * r97291;
        double r97293 = sqrt(r97292);
        return r97293;
}