x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r645319 = x;
double r645320 = y;
double r645321 = r645320 * r645320;
double r645322 = z;
double r645323 = r645322 * r645322;
double r645324 = r645321 - r645323;
double r645325 = sqrt(r645324);
double r645326 = r645319 * r645325;
return r645326;
}