x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r459332 = x;
double r459333 = y;
double r459334 = r459333 * r459333;
double r459335 = z;
double r459336 = r459335 * r459335;
double r459337 = r459334 - r459336;
double r459338 = sqrt(r459337);
double r459339 = r459332 * r459338;
return r459339;
}