x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r785217 = x;
double r785218 = y;
double r785219 = r785218 * r785218;
double r785220 = z;
double r785221 = r785220 * r785220;
double r785222 = r785219 - r785221;
double r785223 = sqrt(r785222);
double r785224 = r785217 * r785223;
return r785224;
}