x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r444729 = x;
double r444730 = y;
double r444731 = r444730 * r444730;
double r444732 = z;
double r444733 = r444732 * r444732;
double r444734 = r444731 - r444733;
double r444735 = sqrt(r444734);
double r444736 = r444729 * r444735;
return r444736;
}