x \cdot \sqrt{y \cdot y - z \cdot z}
(FPCore (x y z) :precision binary64 (* x (sqrt (- (* y y) (* z z)))))
double code(double x, double y, double z) { return x * sqrt((y * y) - (z * z)); }