x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r702788 = x;
double r702789 = y;
double r702790 = r702789 * r702789;
double r702791 = z;
double r702792 = r702791 * r702791;
double r702793 = r702790 - r702792;
double r702794 = sqrt(r702793);
double r702795 = r702788 * r702794;
return r702795;
}