x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r424168 = x;
double r424169 = y;
double r424170 = r424169 * r424169;
double r424171 = z;
double r424172 = r424171 * r424171;
double r424173 = r424170 - r424172;
double r424174 = sqrt(r424173);
double r424175 = r424168 * r424174;
return r424175;
}