Problem:
 f(j(x,y),y) -> g(f(x,k(y)))
 f(x,h1(y,z)) -> h2(0(),x,h1(y,z))
 g(h2(x,y,h1(z,u))) -> h2(s(x),y,h1(z,u))
 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
 k(h(x)) -> h1(0(),x)
 k(h1(x,y)) -> h1(s(x),y)

Proof:
 Complexity Transformation Processor:
  strict:
   f(j(x,y),y) -> g(f(x,k(y)))
   f(x,h1(y,z)) -> h2(0(),x,h1(y,z))
   g(h2(x,y,h1(z,u))) -> h2(s(x),y,h1(z,u))
   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
   k(h(x)) -> h1(0(),x)
   k(h1(x,y)) -> h1(s(x),y)
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [i](x0) = x0 + 14,
     
     [h](x0) = x0 + 10,
     
     [s](x0) = x0,
     
     [h2](x0, x1, x2) = x0 + x1 + x2 + 5,
     
     [0] = 9,
     
     [h1](x0, x1) = x0 + x1 + 4,
     
     [g](x0) = x0 + 7,
     
     [k](x0) = x0 + 3,
     
     [f](x0, x1) = x0 + x1 + 1,
     
     [j](x0, x1) = x0 + x1 + 10
    orientation:
     f(j(x,y),y) = x + 2y + 11 >= x + y + 11 = g(f(x,k(y)))
     
     f(x,h1(y,z)) = x + y + z + 5 >= x + y + z + 18 = h2(0(),x,h1(y,z))
     
     g(h2(x,y,h1(z,u))) = u + x + y + z + 16 >= u + x + y + z + 9 = h2(s(x),y,h1(z,u))
     
     h2(x,j(y,h1(z,u)),h1(z,u)) = 2u + x + y + 2z + 23 >= u + x + y + z + 9 = h2(s(x),y,h1(s(z),u))
     
     i(f(x,h(y))) = x + y + 25 >= y = y
     
     i(h2(s(x),y,h1(x,z))) = 2x + y + z + 23 >= z = z
     
     k(h(x)) = x + 13 >= x + 13 = h1(0(),x)
     
     k(h1(x,y)) = x + y + 7 >= x + y + 4 = h1(s(x),y)
    problem:
     strict:
      f(j(x,y),y) -> g(f(x,k(y)))
      f(x,h1(y,z)) -> h2(0(),x,h1(y,z))
      k(h(x)) -> h1(0(),x)
     weak:
      g(h2(x,y,h1(z,u))) -> h2(s(x),y,h1(z,u))
      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
      k(h1(x,y)) -> h1(s(x),y)
    Matrix Interpretation Processor:
     dimension: 1
     max_matrix:
      1
      interpretation:
       [i](x0) = x0,
       
       [h](x0) = x0,
       
       [s](x0) = x0,
       
       [h2](x0, x1, x2) = x0 + x1 + x2,
       
       [0] = 0,
       
       [h1](x0, x1) = x0 + x1,
       
       [g](x0) = x0,
       
       [k](x0) = x0 + 1,
       
       [f](x0, x1) = x0 + x1,
       
       [j](x0, x1) = x0 + x1
      orientation:
       f(j(x,y),y) = x + 2y >= x + y + 1 = g(f(x,k(y)))
       
       f(x,h1(y,z)) = x + y + z >= x + y + z = h2(0(),x,h1(y,z))
       
       k(h(x)) = x + 1 >= x = h1(0(),x)
       
       g(h2(x,y,h1(z,u))) = u + x + y + z >= u + x + y + z = h2(s(x),y,h1(z,u))
       
       h2(x,j(y,h1(z,u)),h1(z,u)) = 2u + x + y + 2z >= u + x + y + z = h2(s(x),y,h1(s(z),u))
       
       i(f(x,h(y))) = x + y >= y = y
       
       i(h2(s(x),y,h1(x,z))) = 2x + y + z >= z = z
       
       k(h1(x,y)) = x + y + 1 >= x + y = h1(s(x),y)
      problem:
       strict:
        f(j(x,y),y) -> g(f(x,k(y)))
        f(x,h1(y,z)) -> h2(0(),x,h1(y,z))
       weak:
        k(h(x)) -> h1(0(),x)
        g(h2(x,y,h1(z,u))) -> h2(s(x),y,h1(z,u))
        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
        k(h1(x,y)) -> h1(s(x),y)
      Matrix Interpretation Processor:
       dimension: 1
       max_matrix:
        1
        interpretation:
         [i](x0) = x0,
         
         [h](x0) = x0 + 8,
         
         [s](x0) = x0 + 1,
         
         [h2](x0, x1, x2) = x0 + x1 + x2,
         
         [0] = 0,
         
         [h1](x0, x1) = x0 + x1 + 1,
         
         [g](x0) = x0 + 4,
         
         [k](x0) = x0 + 1,
         
         [f](x0, x1) = x0 + x1 + 1,
         
         [j](x0, x1) = x0 + x1 + 5
        orientation:
         f(j(x,y),y) = x + 2y + 6 >= x + y + 6 = g(f(x,k(y)))
         
         f(x,h1(y,z)) = x + y + z + 2 >= x + y + z + 1 = h2(0(),x,h1(y,z))
         
         k(h(x)) = x + 9 >= x + 1 = h1(0(),x)
         
         g(h2(x,y,h1(z,u))) = u + x + y + z + 5 >= u + x + y + z + 2 = h2(s(x),y,h1(z,u))
         
         h2(x,j(y,h1(z,u)),h1(z,u)) = 2u + x + y + 2z + 7 >= u + x + y + z + 3 = h2(s(x),y,h1(s(z),u))
         
         i(f(x,h(y))) = x + y + 9 >= y = y
         
         i(h2(s(x),y,h1(x,z))) = 2x + y + z + 2 >= z = z
         
         k(h1(x,y)) = x + y + 2 >= x + y + 2 = h1(s(x),y)
        problem:
         strict:
          f(j(x,y),y) -> g(f(x,k(y)))
         weak:
          f(x,h1(y,z)) -> h2(0(),x,h1(y,z))
          k(h(x)) -> h1(0(),x)
          g(h2(x,y,h1(z,u))) -> h2(s(x),y,h1(z,u))
          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
          k(h1(x,y)) -> h1(s(x),y)
        Matrix Interpretation Processor:
         dimension: 1
         max_matrix:
          1
          interpretation:
           [i](x0) = x0 + 4,
           
           [h](x0) = x0 + 9,
           
           [s](x0) = x0,
           
           [h2](x0, x1, x2) = x0 + x1 + x2,
           
           [0] = 0,
           
           [h1](x0, x1) = x0 + x1,
           
           [g](x0) = x0 + 8,
           
           [k](x0) = x0,
           
           [f](x0, x1) = x0 + x1,
           
           [j](x0, x1) = x0 + x1 + 9
          orientation:
           f(j(x,y),y) = x + 2y + 9 >= x + y + 8 = g(f(x,k(y)))
           
           f(x,h1(y,z)) = x + y + z >= x + y + z = h2(0(),x,h1(y,z))
           
           k(h(x)) = x + 9 >= x = h1(0(),x)
           
           g(h2(x,y,h1(z,u))) = u + x + y + z + 8 >= u + x + y + z = h2(s(x),y,h1(z,u))
           
           h2(x,j(y,h1(z,u)),h1(z,u)) = 2u + x + y + 2z + 9 >= u + x + y + z = h2(s(x),y,h1(s(z),u))
           
           i(f(x,h(y))) = x + y + 13 >= y = y
           
           i(h2(s(x),y,h1(x,z))) = 2x + y + z + 4 >= z = z
           
           k(h1(x,y)) = x + y >= x + y = h1(s(x),y)
          problem:
           strict:
            
           weak:
            f(j(x,y),y) -> g(f(x,k(y)))
            f(x,h1(y,z)) -> h2(0(),x,h1(y,z))
            k(h(x)) -> h1(0(),x)
            g(h2(x,y,h1(z,u))) -> h2(s(x),y,h1(z,u))
            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
            k(h1(x,y)) -> h1(s(x),y)
          Qed