MAYBE
Time: 0.007632
TRS:
 {*(X, +(Y, 1())) -> +(*(X, +(Y, *(1(), 0()))), X),
        *(X, 1()) -> X,
        *(X, 0()) -> X,
        *(X, 0()) -> 0()}
 DP:
  DP:
   {*#(X, +(Y, 1())) -> *#(X, +(Y, *(1(), 0()))),
    *#(X, +(Y, 1())) -> *#(1(), 0())}
  TRS:
  {*(X, +(Y, 1())) -> +(*(X, +(Y, *(1(), 0()))), X),
         *(X, 1()) -> X,
         *(X, 0()) -> X,
         *(X, 0()) -> 0()}
  UR:
   {*(X, 0()) -> X,
    *(X, 0()) -> 0()}
   EDG:
    {(*#(X, +(Y, 1())) -> *#(X, +(Y, *(1(), 0()))), *#(X, +(Y, 1())) -> *#(X, +(Y, *(1(), 0()))))
     (*#(X, +(Y, 1())) -> *#(X, +(Y, *(1(), 0()))), *#(X, +(Y, 1())) -> *#(1(), 0()))}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {*#(X, +(Y, 1())) -> *#(X, +(Y, *(1(), 0())))}
      
      SCC (1):
       Strict:
        {*#(X, +(Y, 1())) -> *#(X, +(Y, *(1(), 0())))}
       Weak:
       {*(X, +(Y, 1())) -> +(*(X, +(Y, *(1(), 0()))), X),
              *(X, 1()) -> X,
              *(X, 0()) -> X,
              *(X, 0()) -> 0()}
       Fail