x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r695830 = x;
double r695831 = y;
double r695832 = r695831 * r695831;
double r695833 = z;
double r695834 = r695833 * r695833;
double r695835 = r695832 - r695834;
double r695836 = sqrt(r695835);
double r695837 = r695830 * r695836;
return r695837;
}