x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r34341419 = x;
double r34341420 = y;
double r34341421 = r34341420 * r34341420;
double r34341422 = z;
double r34341423 = r34341422 * r34341422;
double r34341424 = r34341421 - r34341423;
double r34341425 = sqrt(r34341424);
double r34341426 = r34341419 * r34341425;
return r34341426;
}