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.0} \cdot \left(\frac{\left(a + b\right) + c}{2.0} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - c\right)}\]
\sqrt{\left(\left(\frac{\left(a + b\right) + c}{2.0} \cdot \left(\frac{\left(a + b\right) + c}{2.0} - a\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - b\right)\right) \cdot \left(\frac{\left(a + b\right) + c}{2.0} - c\right)}
double f(double a, double b, double c) {
        double r1055393 = a;
        double r1055394 = b;
        double r1055395 = r1055393 + r1055394;
        double r1055396 = c;
        double r1055397 = r1055395 + r1055396;
        double r1055398 = 2.0;
        double r1055399 = r1055397 / r1055398;
        double r1055400 = r1055399 - r1055393;
        double r1055401 = r1055399 * r1055400;
        double r1055402 = r1055399 - r1055394;
        double r1055403 = r1055401 * r1055402;
        double r1055404 = r1055399 - r1055396;
        double r1055405 = r1055403 * r1055404;
        double r1055406 = sqrt(r1055405);
        return r1055406;
}