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 r1039800 = a;
        double r1039801 = b;
        double r1039802 = r1039800 + r1039801;
        double r1039803 = c;
        double r1039804 = r1039802 + r1039803;
        double r1039805 = 2.0;
        double r1039806 = r1039804 / r1039805;
        double r1039807 = r1039806 - r1039800;
        double r1039808 = r1039806 * r1039807;
        double r1039809 = r1039806 - r1039801;
        double r1039810 = r1039808 * r1039809;
        double r1039811 = r1039806 - r1039803;
        double r1039812 = r1039810 * r1039811;
        double r1039813 = sqrt(r1039812);
        return r1039813;
}