x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r599461 = x;
double r599462 = y;
double r599463 = r599462 * r599462;
double r599464 = z;
double r599465 = r599464 * r599464;
double r599466 = r599463 - r599465;
double r599467 = sqrt(r599466);
double r599468 = r599461 * r599467;
return r599468;
}