x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r26914446 = x;
double r26914447 = y;
double r26914448 = r26914447 * r26914447;
double r26914449 = z;
double r26914450 = r26914449 * r26914449;
double r26914451 = r26914448 - r26914450;
double r26914452 = sqrt(r26914451);
double r26914453 = r26914446 * r26914452;
return r26914453;
}