x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r709098 = x;
double r709099 = y;
double r709100 = r709099 * r709099;
double r709101 = z;
double r709102 = r709101 * r709101;
double r709103 = r709100 - r709102;
double r709104 = sqrt(r709103);
double r709105 = r709098 * r709104;
return r709105;
}