YES
O(n)
TRS:
 {
            g(h2(x, y, h1(z, u))) -> h2(s(x), y, h1(z, u)),
                   f(x, h1(y, z)) -> h2(0(), x, h1(y, z)),
                    f(j(x, y), y) -> g(f(x, k(y))),
                      k(h1(x, y)) -> h1(s(x), y),
                          k(h(x)) -> h1(0(), x),
  h2(x, j(y, h1(z, u)), h1(z, u)) -> h2(s(x), y, h1(s(z), u)),
                    i(f(x, h(y))) -> y,
         i(h2(s(x), y, h1(x, z))) -> z
 }
 DUP: We consider a non-duplicating system.
  Trs:
   {
              g(h2(x, y, h1(z, u))) -> h2(s(x), y, h1(z, u)),
                     f(x, h1(y, z)) -> h2(0(), x, h1(y, z)),
                      f(j(x, y), y) -> g(f(x, k(y))),
                        k(h1(x, y)) -> h1(s(x), y),
                            k(h(x)) -> h1(0(), x),
    h2(x, j(y, h1(z, u)), h1(z, u)) -> h2(s(x), y, h1(s(z), u)),
                      i(f(x, h(y))) -> y,
           i(h2(s(x), y, h1(x, z))) -> z
   }
  BOUND:
   Automaton:
    {
              h_0(14) -> 14 | 2 | 0,
              h_0(13) -> 14 | 2 | 0,
               h_0(2) -> 14 | 2 | 0,
               h_0(1) -> 14 | 2 | 0,
               h_0(0) -> 14 | 2 | 0,
              i_0(14) -> 0,
              i_0(13) -> 0,
               i_0(2) -> 0,
               i_0(1) -> 0,
               i_0(0) -> 0,
              s_2(14) -> 0,
              s_2(13) -> 0,
               s_2(0) -> 0,
              s_1(14) -> 0,
              s_1(13) -> 0,
               s_1(0) -> 0,
              s_0(14) -> 0,
              s_0(13) -> 0,
               s_0(2) -> 0,
               s_0(1) -> 0,
               s_0(0) -> 0,
         h1_2(14, 14) -> 0,
         h1_2(14, 13) -> 0,
          h1_2(14, 0) -> 0,
         h1_2(13, 14) -> 0,
         h1_2(13, 13) -> 0,
          h1_2(13, 0) -> 0,
          h1_2(0, 14) -> 0,
          h1_2(0, 13) -> 0,
           h1_2(0, 0) -> 0,
         h1_1(14, 14) -> 0,
         h1_1(14, 13) -> 0,
          h1_1(14, 0) -> 0,
         h1_1(13, 14) -> 0,
         h1_1(13, 13) -> 0,
          h1_1(13, 0) -> 0,
          h1_1(0, 14) -> 0,
          h1_1(0, 13) -> 0,
           h1_1(0, 0) -> 0,
         h1_0(14, 14) -> 0,
         h1_0(14, 13) -> 0,
          h1_0(14, 2) -> 0,
          h1_0(14, 1) -> 0,
          h1_0(14, 0) -> 0,
         h1_0(13, 14) -> 0,
         h1_0(13, 13) -> 0,
          h1_0(13, 2) -> 0,
          h1_0(13, 1) -> 0,
          h1_0(13, 0) -> 0,
          h1_0(2, 14) -> 0,
          h1_0(2, 13) -> 0,
           h1_0(2, 2) -> 0,
           h1_0(2, 1) -> 0,
           h1_0(2, 0) -> 0,
          h1_0(1, 14) -> 0,
          h1_0(1, 13) -> 0,
           h1_0(1, 2) -> 0,
           h1_0(1, 1) -> 0,
           h1_0(1, 0) -> 0,
          h1_0(0, 14) -> 0,
          h1_0(0, 13) -> 0,
           h1_0(0, 2) -> 0,
           h1_0(0, 1) -> 0,
           h1_0(0, 0) -> 0,
                0_2() -> 0,
                0_1() -> 0,
                0_0() -> 0,
     h2_2(14, 14, 14) -> 0,
     h2_2(14, 14, 13) -> 0,
      h2_2(14, 14, 0) -> 0,
     h2_2(14, 13, 14) -> 0,
     h2_2(14, 13, 13) -> 0,
      h2_2(14, 13, 0) -> 0,
      h2_2(14, 0, 14) -> 0,
      h2_2(14, 0, 13) -> 0,
       h2_2(14, 0, 0) -> 0,
     h2_2(13, 14, 14) -> 0,
     h2_2(13, 14, 13) -> 0,
      h2_2(13, 14, 0) -> 0,
     h2_2(13, 13, 14) -> 0,
     h2_2(13, 13, 13) -> 0,
      h2_2(13, 13, 0) -> 0,
      h2_2(13, 0, 14) -> 0,
      h2_2(13, 0, 13) -> 0,
       h2_2(13, 0, 0) -> 0,
      h2_2(0, 14, 14) -> 0,
      h2_2(0, 14, 13) -> 0,
       h2_2(0, 14, 0) -> 0,
      h2_2(0, 13, 14) -> 0,
      h2_2(0, 13, 13) -> 0,
       h2_2(0, 13, 0) -> 0,
       h2_2(0, 0, 14) -> 0,
       h2_2(0, 0, 13) -> 0,
        h2_2(0, 0, 0) -> 0,
     h2_1(14, 14, 14) -> 0,
     h2_1(14, 14, 13) -> 0,
      h2_1(14, 14, 0) -> 0,
     h2_1(14, 13, 14) -> 0,
     h2_1(14, 13, 13) -> 0,
      h2_1(14, 13, 0) -> 0,
      h2_1(14, 0, 14) -> 0,
      h2_1(14, 0, 13) -> 0,
       h2_1(14, 0, 0) -> 0,
     h2_1(13, 14, 14) -> 0,
     h2_1(13, 14, 13) -> 0,
      h2_1(13, 14, 0) -> 0,
     h2_1(13, 13, 14) -> 0,
     h2_1(13, 13, 13) -> 0,
      h2_1(13, 13, 0) -> 0,
      h2_1(13, 0, 14) -> 0,
      h2_1(13, 0, 13) -> 0,
       h2_1(13, 0, 0) -> 0,
      h2_1(0, 14, 14) -> 0,
      h2_1(0, 14, 13) -> 0,
       h2_1(0, 14, 0) -> 0,
      h2_1(0, 13, 14) -> 0,
      h2_1(0, 13, 13) -> 0,
       h2_1(0, 13, 0) -> 0,
       h2_1(0, 0, 14) -> 0,
       h2_1(0, 0, 13) -> 0,
        h2_1(0, 0, 0) -> 0,
     h2_0(14, 14, 14) -> 0,
     h2_0(14, 14, 13) -> 0,
      h2_0(14, 14, 2) -> 0,
      h2_0(14, 14, 1) -> 0,
      h2_0(14, 14, 0) -> 0,
     h2_0(14, 13, 14) -> 0,
     h2_0(14, 13, 13) -> 0,
      h2_0(14, 13, 2) -> 0,
      h2_0(14, 13, 1) -> 0,
      h2_0(14, 13, 0) -> 0,
      h2_0(14, 2, 14) -> 0,
      h2_0(14, 2, 13) -> 0,
       h2_0(14, 2, 2) -> 0,
       h2_0(14, 2, 1) -> 0,
       h2_0(14, 2, 0) -> 0,
      h2_0(14, 1, 14) -> 0,
      h2_0(14, 1, 13) -> 0,
       h2_0(14, 1, 2) -> 0,
       h2_0(14, 1, 1) -> 0,
       h2_0(14, 1, 0) -> 0,
      h2_0(14, 0, 14) -> 0,
      h2_0(14, 0, 13) -> 0,
       h2_0(14, 0, 2) -> 0,
       h2_0(14, 0, 1) -> 0,
       h2_0(14, 0, 0) -> 0,
     h2_0(13, 14, 14) -> 0,
     h2_0(13, 14, 13) -> 0,
      h2_0(13, 14, 2) -> 0,
      h2_0(13, 14, 1) -> 0,
      h2_0(13, 14, 0) -> 0,
     h2_0(13, 13, 14) -> 0,
     h2_0(13, 13, 13) -> 0,
      h2_0(13, 13, 2) -> 0,
      h2_0(13, 13, 1) -> 0,
      h2_0(13, 13, 0) -> 0,
      h2_0(13, 2, 14) -> 0,
      h2_0(13, 2, 13) -> 0,
       h2_0(13, 2, 2) -> 0,
       h2_0(13, 2, 1) -> 0,
       h2_0(13, 2, 0) -> 0,
      h2_0(13, 1, 14) -> 0,
      h2_0(13, 1, 13) -> 0,
       h2_0(13, 1, 2) -> 0,
       h2_0(13, 1, 1) -> 0,
       h2_0(13, 1, 0) -> 0,
      h2_0(13, 0, 14) -> 0,
      h2_0(13, 0, 13) -> 0,
       h2_0(13, 0, 2) -> 0,
       h2_0(13, 0, 1) -> 0,
       h2_0(13, 0, 0) -> 0,
      h2_0(2, 14, 14) -> 0,
      h2_0(2, 14, 13) -> 0,
       h2_0(2, 14, 2) -> 0,
       h2_0(2, 14, 1) -> 0,
       h2_0(2, 14, 0) -> 0,
      h2_0(2, 13, 14) -> 0,
      h2_0(2, 13, 13) -> 0,
       h2_0(2, 13, 2) -> 0,
       h2_0(2, 13, 1) -> 0,
       h2_0(2, 13, 0) -> 0,
       h2_0(2, 2, 14) -> 0,
       h2_0(2, 2, 13) -> 0,
        h2_0(2, 2, 2) -> 0,
        h2_0(2, 2, 1) -> 0,
        h2_0(2, 2, 0) -> 0,
       h2_0(2, 1, 14) -> 0,
       h2_0(2, 1, 13) -> 0,
        h2_0(2, 1, 2) -> 0,
        h2_0(2, 1, 1) -> 0,
        h2_0(2, 1, 0) -> 0,
       h2_0(2, 0, 14) -> 0,
       h2_0(2, 0, 13) -> 0,
        h2_0(2, 0, 2) -> 0,
        h2_0(2, 0, 1) -> 0,
        h2_0(2, 0, 0) -> 0,
      h2_0(1, 14, 14) -> 0,
      h2_0(1, 14, 13) -> 0,
       h2_0(1, 14, 2) -> 0,
       h2_0(1, 14, 1) -> 0,
       h2_0(1, 14, 0) -> 0,
      h2_0(1, 13, 14) -> 0,
      h2_0(1, 13, 13) -> 0,
       h2_0(1, 13, 2) -> 0,
       h2_0(1, 13, 1) -> 0,
       h2_0(1, 13, 0) -> 0,
       h2_0(1, 2, 14) -> 0,
       h2_0(1, 2, 13) -> 0,
        h2_0(1, 2, 2) -> 0,
        h2_0(1, 2, 1) -> 0,
        h2_0(1, 2, 0) -> 0,
       h2_0(1, 1, 14) -> 0,
       h2_0(1, 1, 13) -> 0,
        h2_0(1, 1, 2) -> 0,
        h2_0(1, 1, 1) -> 0,
        h2_0(1, 1, 0) -> 0,
       h2_0(1, 0, 14) -> 0,
       h2_0(1, 0, 13) -> 0,
        h2_0(1, 0, 2) -> 0,
        h2_0(1, 0, 1) -> 0,
        h2_0(1, 0, 0) -> 0,
      h2_0(0, 14, 14) -> 0,
      h2_0(0, 14, 13) -> 0,
       h2_0(0, 14, 2) -> 0,
       h2_0(0, 14, 1) -> 0,
       h2_0(0, 14, 0) -> 0,
      h2_0(0, 13, 14) -> 0,
      h2_0(0, 13, 13) -> 0,
       h2_0(0, 13, 2) -> 0,
       h2_0(0, 13, 1) -> 0,
       h2_0(0, 13, 0) -> 0,
       h2_0(0, 2, 14) -> 0,
       h2_0(0, 2, 13) -> 0,
        h2_0(0, 2, 2) -> 0,
        h2_0(0, 2, 1) -> 0,
        h2_0(0, 2, 0) -> 0,
       h2_0(0, 1, 14) -> 0,
       h2_0(0, 1, 13) -> 0,
        h2_0(0, 1, 2) -> 0,
        h2_0(0, 1, 1) -> 0,
        h2_0(0, 1, 0) -> 0,
       h2_0(0, 0, 14) -> 0,
       h2_0(0, 0, 13) -> 0,
        h2_0(0, 0, 2) -> 0,
        h2_0(0, 0, 1) -> 0,
        h2_0(0, 0, 0) -> 0,
          j_0(14, 14) -> 13 | 1 | 0,
          j_0(14, 13) -> 13 | 1 | 0,
           j_0(14, 2) -> 13 | 1 | 0,
           j_0(14, 1) -> 13 | 1 | 0,
           j_0(14, 0) -> 13 | 1 | 0,
          j_0(13, 14) -> 13 | 1 | 0,
          j_0(13, 13) -> 13 | 1 | 0,
           j_0(13, 2) -> 13 | 1 | 0,
           j_0(13, 1) -> 13 | 1 | 0,
           j_0(13, 0) -> 13 | 1 | 0,
           j_0(2, 14) -> 13 | 1 | 0,
           j_0(2, 13) -> 13 | 1 | 0,
            j_0(2, 2) -> 13 | 1 | 0,
            j_0(2, 1) -> 13 | 1 | 0,
            j_0(2, 0) -> 13 | 1 | 0,
           j_0(1, 14) -> 13 | 1 | 0,
           j_0(1, 13) -> 13 | 1 | 0,
            j_0(1, 2) -> 13 | 1 | 0,
            j_0(1, 1) -> 13 | 1 | 0,
            j_0(1, 0) -> 13 | 1 | 0,
           j_0(0, 14) -> 13 | 1 | 0,
           j_0(0, 13) -> 13 | 1 | 0,
            j_0(0, 2) -> 13 | 1 | 0,
            j_0(0, 1) -> 13 | 1 | 0,
            j_0(0, 0) -> 13 | 1 | 0,
              k_1(14) -> 0,
              k_1(13) -> 0,
               k_1(0) -> 0,
              k_0(14) -> 0,
              k_0(13) -> 0,
               k_0(2) -> 0,
               k_0(1) -> 0,
               k_0(0) -> 0,
          f_1(14, 14) -> 0,
          f_1(14, 13) -> 0,
           f_1(14, 0) -> 0,
          f_1(13, 14) -> 0,
          f_1(13, 13) -> 0,
           f_1(13, 0) -> 0,
           f_1(0, 14) -> 0,
           f_1(0, 13) -> 0,
            f_1(0, 0) -> 0,
          f_0(14, 14) -> 0,
          f_0(14, 13) -> 0,
           f_0(14, 2) -> 0,
           f_0(14, 1) -> 0,
           f_0(14, 0) -> 0,
          f_0(13, 14) -> 0,
          f_0(13, 13) -> 0,
           f_0(13, 2) -> 0,
           f_0(13, 1) -> 0,
           f_0(13, 0) -> 0,
           f_0(2, 14) -> 0,
           f_0(2, 13) -> 0,
            f_0(2, 2) -> 0,
            f_0(2, 1) -> 0,
            f_0(2, 0) -> 0,
           f_0(1, 14) -> 0,
           f_0(1, 13) -> 0,
            f_0(1, 2) -> 0,
            f_0(1, 1) -> 0,
            f_0(1, 0) -> 0,
           f_0(0, 14) -> 0,
           f_0(0, 13) -> 0,
            f_0(0, 2) -> 0,
            f_0(0, 1) -> 0,
            f_0(0, 0) -> 0,
              g_1(14) -> 0,
              g_1(13) -> 0,
               g_1(0) -> 0,
              g_0(14) -> 0,
              g_0(13) -> 0,
               g_0(2) -> 0,
               g_0(1) -> 0,
               g_0(0) -> 0,
                   14 -> 0,
                   13 -> 0,
                    2 -> 0,
                    1 -> 0
    }
   Strict:
    {}
   Qed