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 r515799 = a;
        double r515800 = b;
        double r515801 = r515799 + r515800;
        double r515802 = c;
        double r515803 = r515801 + r515802;
        double r515804 = 2.0;
        double r515805 = r515803 / r515804;
        double r515806 = r515805 - r515799;
        double r515807 = r515805 * r515806;
        double r515808 = r515805 - r515800;
        double r515809 = r515807 * r515808;
        double r515810 = r515805 - r515802;
        double r515811 = r515809 * r515810;
        double r515812 = sqrt(r515811);
        return r515812;
}