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 r2417258 = a;
        double r2417259 = b;
        double r2417260 = r2417258 + r2417259;
        double r2417261 = c;
        double r2417262 = r2417260 + r2417261;
        double r2417263 = 2.0;
        double r2417264 = r2417262 / r2417263;
        double r2417265 = r2417264 - r2417258;
        double r2417266 = r2417264 * r2417265;
        double r2417267 = r2417264 - r2417259;
        double r2417268 = r2417266 * r2417267;
        double r2417269 = r2417264 - r2417261;
        double r2417270 = r2417268 * r2417269;
        double r2417271 = sqrt(r2417270);
        return r2417271;
}