x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r868534 = x;
double r868535 = y;
double r868536 = r868535 * r868535;
double r868537 = z;
double r868538 = r868537 * r868537;
double r868539 = r868536 - r868538;
double r868540 = sqrt(r868539);
double r868541 = r868534 * r868540;
return r868541;
}