[X,Y,Z]

h(Z,e(X)) -> h(c(Z),d(Z,X)).
d(Z,g(0,0)) -> e(0).
d(Z,g(X,Y)) -> g(e(X),d(Z,Y)).
d(c(Z),g(g(X,Y),0)) -> g(d(c(Z),g(X,Y)),d(Z,g(X,Y))).
g(e(X),e(Y)) -> e(g(X,Y)).
