MAYBE
Time: 0.000665
TRS:
 {  f(s x, x) -> f(s x, round x),
  round s s x -> s s round x,
  round s 0() -> s 0(),
    round 0() -> s 0(),
    round 0() -> 0()}
 DP:
  DP:
   {  f#(s x, x) -> f#(s x, round x),
      f#(s x, x) -> round# x,
    round# s s x -> round# x}
  TRS:
  {  f(s x, x) -> f(s x, round x),
   round s s x -> s s round x,
   round s 0() -> s 0(),
     round 0() -> s 0(),
     round 0() -> 0()}
  UR:
   {round s s x -> s s round x,
    round s 0() -> s 0(),
      round 0() -> s 0(),
      round 0() -> 0()}
   EDG:
    {(round# s s x -> round# x, round# s s x -> round# x)
     (f#(s x, x) -> f#(s x, round x), f#(s x, x) -> f#(s x, round x))
     (f#(s x, x) -> f#(s x, round x), f#(s x, x) -> round# x)
     (f#(s x, x) -> round# x, round# s s x -> round# x)}
    STATUS:
     arrows: 0.555556
     SCCS (2):
      Scc:
       {f#(s x, x) -> f#(s x, round x)}
      Scc:
       {round# s s x -> round# x}
      
      SCC (1):
       Strict:
        {f#(s x, x) -> f#(s x, round x)}
       Weak:
       {  f(s x, x) -> f(s x, round x),
        round s s x -> s s round x,
        round s 0() -> s 0(),
          round 0() -> s 0(),
          round 0() -> 0()}
       Open
      
      SCC (1):
       Strict:
        {round# s s x -> round# x}
       Weak:
       {  f(s x, x) -> f(s x, round x),
        round s s x -> s s round x,
        round s 0() -> s 0(),
          round 0() -> s 0(),
          round 0() -> 0()}
       Open