YES

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

(COMMENT
Termination is shown by ELPO with interpretations on natural numbers

  g_A(x1,x2) = x2 + 1
  j_A(x1) = x1 + 2
  f1_A(x1) = x1 + 1
  f2_A(x1) = x1 + 1
  f3_A(x1) = x1 + 1
  f4_A(x1) = x1 + 1
  f5_A(x1) = x1 + 1
  f6_A(x1) = x1 + 1
  f7_A(x1) = x1 + 1
  f8_A(x1) = x1 + 1
  f9_A(x1) = x1 + 1
  f10_A(x1) = x1 + 1
  f11_A(x1) = x1 + 1
  f12_A(x1) = x1 + 1
  g#_A(x1,x2) = 0
  j#_A(x1) = x1
  f12#_A(x1) = x1

and precedence:

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