x \cdot \sqrt{y \cdot y - z \cdot z}double f(double x, double y, double z) {
double r28550628 = x;
double r28550629 = y;
double r28550630 = r28550629 * r28550629;
double r28550631 = z;
double r28550632 = r28550631 * r28550631;
double r28550633 = r28550630 - r28550632;
double r28550634 = sqrt(r28550633);
double r28550635 = r28550628 * r28550634;
return r28550635;
}