Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 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 r28224492 = a;
        double r28224493 = b;
        double r28224494 = r28224492 + r28224493;
        double r28224495 = c;
        double r28224496 = r28224494 + r28224495;
        double r28224497 = 2.0;
        double r28224498 = r28224496 / r28224497;
        double r28224499 = r28224498 - r28224492;
        double r28224500 = r28224498 * r28224499;
        double r28224501 = r28224498 - r28224493;
        double r28224502 = r28224500 * r28224501;
        double r28224503 = r28224498 - r28224495;
        double r28224504 = r28224502 * r28224503;
        double r28224505 = sqrt(r28224504);
        return r28224505;
}