Cannot sample enough valid points. (more)

\[0 \lt a \land 0 \lt b \land 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 r1605624 = a;
        double r1605625 = b;
        double r1605626 = r1605624 + r1605625;
        double r1605627 = c;
        double r1605628 = r1605626 + r1605627;
        double r1605629 = 2.0;
        double r1605630 = r1605628 / r1605629;
        double r1605631 = r1605630 - r1605624;
        double r1605632 = r1605630 * r1605631;
        double r1605633 = r1605630 - r1605625;
        double r1605634 = r1605632 * r1605633;
        double r1605635 = r1605630 - r1605627;
        double r1605636 = r1605634 * r1605635;
        double r1605637 = sqrt(r1605636);
        return r1605637;
}