\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 r8317 = a;
double r8318 = b;
double r8319 = r8317 + r8318;
double r8320 = c;
double r8321 = r8319 + r8320;
double r8322 = 2.0;
double r8323 = r8321 / r8322;
double r8324 = r8323 - r8317;
double r8325 = r8323 * r8324;
double r8326 = r8323 - r8318;
double r8327 = r8325 * r8326;
double r8328 = r8323 - r8320;
double r8329 = r8327 * r8328;
double r8330 = sqrt(r8329);
return r8330;
}