YES

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

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

  g_A(x1,x2) = x2 + 4
  j_A(x1) = x1 + 6
  f1_A(x1) = x1 + 1
  f2_A(x1) = 0
  f3_A(x1) = 0
  f4_A(x1) = 3
  f5_A(x1) = 2
  f6_A(x1) = 0
  f7_A(x1) = x1 + 3
  f8_A(x1) = 5
  f9_A(x1) = 6
  f10_A(x1) = 4
  f11_A(x1) = 5
  f12_A(x1) = 0
  f13_A(x1) = 0
  f14_A(x1) = 0
  g#_A(x1,x2) = 0
  f1#_A(x1) = 0
  f7#_A(x1) = 0
  f9#_A(x1) = 0
  f10#_A(x1) = 0

and precedence:

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