YES

(VAR x z y x0 x1)
(RULES
  f12(f12(f12(f12(x)))) -> f12(x)
  f12(j(z)) -> f12(f12(z))
  f2(y) -> f12(y)
  f3(y) -> f12(y)
  f4(y) -> f12(y)
  f5(y) -> f12(y)
  f6(y) -> f12(y)
  f7(y) -> f12(y)
  f8(y) -> f12(y)
  f9(y) -> f12(y)
  f10(y) -> f12(y)
  f11(y) -> f12(y)
  f1(y) -> f12(y)
  g(x0,x1) -> f12(x1)
)

(COMMENT
Termination is shown by KBO with weight

  w0 = 2
  w(g) = 0
  w(j) = 1
  w(f1) = 1
  w(f2) = 1
  w(f3) = 1
  w(f4) = 1
  w(f5) = 1
  w(f6) = 1
  w(f7) = 1
  w(f8) = 1
  w(f9) = 1
  w(f10) = 1
  w(f11) = 1
  w(f12) = 1

and precedence:

  g > j > f1 > f2 > f3 > f4 > f5 > f6 > f7 > f8 > f9 > f10 > f11 > f12
)