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 r24693 = a;
        double r24694 = b;
        double r24695 = r24693 + r24694;
        double r24696 = c;
        double r24697 = r24695 + r24696;
        double r24698 = 2.0;
        double r24699 = r24697 / r24698;
        double r24700 = r24699 - r24693;
        double r24701 = r24699 * r24700;
        double r24702 = r24699 - r24694;
        double r24703 = r24701 * r24702;
        double r24704 = r24699 - r24696;
        double r24705 = r24703 * r24704;
        double r24706 = sqrt(r24705);
        return r24706;
}