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 r1468151 = a;
        double r1468152 = b;
        double r1468153 = r1468151 + r1468152;
        double r1468154 = c;
        double r1468155 = r1468153 + r1468154;
        double r1468156 = 2.0;
        double r1468157 = r1468155 / r1468156;
        double r1468158 = r1468157 - r1468151;
        double r1468159 = r1468157 * r1468158;
        double r1468160 = r1468157 - r1468152;
        double r1468161 = r1468159 * r1468160;
        double r1468162 = r1468157 - r1468154;
        double r1468163 = r1468161 * r1468162;
        double r1468164 = sqrt(r1468163);
        return r1468164;
}