\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 r8975 = a;
double r8976 = b;
double r8977 = r8975 + r8976;
double r8978 = c;
double r8979 = r8977 + r8978;
double r8980 = 2.0;
double r8981 = r8979 / r8980;
double r8982 = r8981 - r8975;
double r8983 = r8981 * r8982;
double r8984 = r8981 - r8976;
double r8985 = r8983 * r8984;
double r8986 = r8981 - r8978;
double r8987 = r8985 * r8986;
double r8988 = sqrt(r8987);
return r8988;
}