x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r457579 = x;
double r457580 = y;
double r457581 = r457580 * r457580;
double r457582 = z;
double r457583 = r457582 * r457582;
double r457584 = r457581 - r457583;
double r457585 = sqrt(r457584);
double r457586 = r457579 * r457585;
return r457586;
}