x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r35072149 = x;
double r35072150 = y;
double r35072151 = r35072150 * r35072150;
double r35072152 = z;
double r35072153 = r35072152 * r35072152;
double r35072154 = r35072151 - r35072153;
double r35072155 = sqrt(r35072154);
double r35072156 = r35072149 * r35072155;
return r35072156;
}