x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r464386 = x;
double r464387 = y;
double r464388 = r464387 * r464387;
double r464389 = z;
double r464390 = r464389 * r464389;
double r464391 = r464388 - r464390;
double r464392 = sqrt(r464391);
double r464393 = r464386 * r464392;
return r464393;
}