从你描述的问题来看,x,y,z由前两个式子（f 和 g 已知时)可以消除一个y变量,这样就有一个z 和 X 的关系式,h(x,z）就是一个一元方程了,x 是一个固定值了.
如下：
In[24]:= Clear[x,y,z];
Reduce[{x^2 + Exp[y]*x == 0,z == x^3/3 + Sin[x] + 3 y},{x,z},y]
Out[25]= (C[1] \[Element] Integers && x != 0 &&
z == 1/3 (x^3 - 18 I \[Pi] C[1] - 9 Log[-(1/x)] + 3 Sin[x])) ||
x == 0
这里随便取得f,g.