\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 r8105 = a;
double r8106 = b;
double r8107 = r8105 + r8106;
double r8108 = c;
double r8109 = r8107 + r8108;
double r8110 = 2.0;
double r8111 = r8109 / r8110;
double r8112 = r8111 - r8105;
double r8113 = r8111 * r8112;
double r8114 = r8111 - r8106;
double r8115 = r8113 * r8114;
double r8116 = r8111 - r8108;
double r8117 = r8115 * r8116;
double r8118 = sqrt(r8117);
return r8118;
}