Cannot sample enough valid points. (more)

\[0.0 \lt a \land 0.0 \lt b \land 0.0 \lt c\]
\[\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 r24481 = a;
        double r24482 = b;
        double r24483 = r24481 + r24482;
        double r24484 = c;
        double r24485 = r24483 + r24484;
        double r24486 = 2.0;
        double r24487 = r24485 / r24486;
        double r24488 = r24487 - r24481;
        double r24489 = r24487 * r24488;
        double r24490 = r24487 - r24482;
        double r24491 = r24489 * r24490;
        double r24492 = r24487 - r24484;
        double r24493 = r24491 * r24492;
        double r24494 = sqrt(r24493);
        return r24494;
}