YES

1 decompositions
 #0 -----------
   1: g(a(),y) -> y
   2: f(x,a()) -> f(x,g(x,b()))
   3: g(h(x),y) -> g(x,h(y))

@Mutually Orthogonal
--- R
   1: g(a(),y) -> y
   2: f(x,a()) -> f(x,g(x,b()))
   3: g(h(x),y) -> g(x,h(y))

--- S
   1: g(a(),y) -> y
   2: f(x,a()) -> f(x,g(x,b()))
   3: g(h(x),y) -> g(x,h(y))