Cannot sample enough valid points. (more)

\[0.0 \lt a \lt b + c \land 0.0 \lt b \lt a + c \land 0.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 r139137 = a;
        double r139138 = b;
        double r139139 = r139137 + r139138;
        double r139140 = c;
        double r139141 = r139139 + r139140;
        double r139142 = 2.0;
        double r139143 = r139141 / r139142;
        double r139144 = r139143 - r139137;
        double r139145 = r139143 * r139144;
        double r139146 = r139143 - r139138;
        double r139147 = r139145 * r139146;
        double r139148 = r139143 - r139140;
        double r139149 = r139147 * r139148;
        double r139150 = sqrt(r139149);
        return r139150;
}