x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r691458 = x;
double r691459 = y;
double r691460 = r691459 * r691459;
double r691461 = z;
double r691462 = r691461 * r691461;
double r691463 = r691460 - r691462;
double r691464 = sqrt(r691463);
double r691465 = r691458 * r691464;
return r691465;
}