Cannot sample enough valid points. (more)

\[0 \lt a \lt b + c \land 0 \lt b \lt a + c \land 0 \lt c \lt a + b\]
\[\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 r1765027 = a;
        double r1765028 = b;
        double r1765029 = r1765027 + r1765028;
        double r1765030 = c;
        double r1765031 = r1765029 + r1765030;
        double r1765032 = 2.0;
        double r1765033 = r1765031 / r1765032;
        double r1765034 = r1765033 - r1765027;
        double r1765035 = r1765033 * r1765034;
        double r1765036 = r1765033 - r1765028;
        double r1765037 = r1765035 * r1765036;
        double r1765038 = r1765033 - r1765030;
        double r1765039 = r1765037 * r1765038;
        double r1765040 = sqrt(r1765039);
        return r1765040;
}