x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r743021 = x;
double r743022 = y;
double r743023 = r743022 * r743022;
double r743024 = z;
double r743025 = r743024 * r743024;
double r743026 = r743023 - r743025;
double r743027 = sqrt(r743026);
double r743028 = r743021 * r743027;
return r743028;
}