NO

   1: f(g(f(x1))) -> g(x1)

unjoinable pair
  f(g(g(x1))) <- -> g(g(f(x1)))