x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r32778560 = x;
double r32778561 = y;
double r32778562 = r32778561 * r32778561;
double r32778563 = z;
double r32778564 = r32778563 * r32778563;
double r32778565 = r32778562 - r32778564;
double r32778566 = sqrt(r32778565);
double r32778567 = r32778560 * r32778566;
return r32778567;
}