NO

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

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