x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r1366392 = x;
double r1366393 = y;
double r1366394 = r1366393 * r1366393;
double r1366395 = z;
double r1366396 = r1366395 * r1366395;
double r1366397 = r1366394 - r1366396;
double r1366398 = sqrt(r1366397);
double r1366399 = r1366392 * r1366398;
return r1366399;
}