x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r13544467 = x;
double r13544468 = y;
double r13544469 = r13544468 * r13544468;
double r13544470 = z;
double r13544471 = r13544470 * r13544470;
double r13544472 = r13544469 - r13544471;
double r13544473 = sqrt(r13544472);
double r13544474 = r13544467 * r13544473;
return r13544474;
}