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 r14806 = a;
        double r14807 = b;
        double r14808 = r14806 + r14807;
        double r14809 = c;
        double r14810 = r14808 + r14809;
        double r14811 = 2.0;
        double r14812 = r14810 / r14811;
        double r14813 = r14812 - r14806;
        double r14814 = r14812 * r14813;
        double r14815 = r14812 - r14807;
        double r14816 = r14814 * r14815;
        double r14817 = r14812 - r14809;
        double r14818 = r14816 * r14817;
        double r14819 = sqrt(r14818);
        return r14819;
}