x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r30278618 = x;
double r30278619 = y;
double r30278620 = r30278619 * r30278619;
double r30278621 = z;
double r30278622 = r30278621 * r30278621;
double r30278623 = r30278620 - r30278622;
double r30278624 = sqrt(r30278623);
double r30278625 = r30278618 * r30278624;
return r30278625;
}