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 r1664396 = a;
        double r1664397 = b;
        double r1664398 = r1664396 + r1664397;
        double r1664399 = c;
        double r1664400 = r1664398 + r1664399;
        double r1664401 = 2.0;
        double r1664402 = r1664400 / r1664401;
        double r1664403 = r1664402 - r1664396;
        double r1664404 = r1664402 * r1664403;
        double r1664405 = r1664402 - r1664397;
        double r1664406 = r1664404 * r1664405;
        double r1664407 = r1664402 - r1664399;
        double r1664408 = r1664406 * r1664407;
        double r1664409 = sqrt(r1664408);
        return r1664409;
}