x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r440606 = x;
double r440607 = y;
double r440608 = r440607 * r440607;
double r440609 = z;
double r440610 = r440609 * r440609;
double r440611 = r440608 - r440610;
double r440612 = sqrt(r440611);
double r440613 = r440606 * r440612;
return r440613;
}