x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r34037856 = x;
double r34037857 = y;
double r34037858 = r34037857 * r34037857;
double r34037859 = z;
double r34037860 = r34037859 * r34037859;
double r34037861 = r34037858 - r34037860;
double r34037862 = sqrt(r34037861);
double r34037863 = r34037856 * r34037862;
return r34037863;
}