x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r35393582 = x;
double r35393583 = y;
double r35393584 = r35393583 * r35393583;
double r35393585 = z;
double r35393586 = r35393585 * r35393585;
double r35393587 = r35393584 - r35393586;
double r35393588 = sqrt(r35393587);
double r35393589 = r35393582 * r35393588;
return r35393589;
}