YES

1 decompositions
 #1 -----------
   1: f(g(x1)) -> h(g(x1),g(x1))
   2: f(s(x2)) -> h(s(x2),s(x2))
   3: g(x3) -> s(x3)

@Knuth and Bendix' criterion
--- R
   1: f(g(x1)) -> h(g(x1),g(x1))
   2: f(s(x2)) -> h(s(x2),s(x2))
   3: g(x3) -> s(x3)

--- S
   1: f(g(x1)) -> h(g(x1),g(x1))
   2: f(s(x2)) -> h(s(x2),s(x2))
   3: g(x3) -> s(x3)