x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r31573383 = x;
double r31573384 = y;
double r31573385 = r31573384 * r31573384;
double r31573386 = z;
double r31573387 = r31573386 * r31573386;
double r31573388 = r31573385 - r31573387;
double r31573389 = sqrt(r31573388);
double r31573390 = r31573383 * r31573389;
return r31573390;
}