MAYBE
Time: 27.084639
TRS:
 {  f(s x, x) -> f(s x, round s 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 s x),
      f#(s x, x) -> round# s x,
    round# s s x -> round# x}
  TRS:
  {  f(s x, x) -> f(s x, round s 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:
    {(f#(s x, x) -> f#(s x, round s x), f#(s x, x) -> round# s x)
     (f#(s x, x) -> f#(s x, round s x), f#(s x, x) -> f#(s x, round s x))
     (f#(s x, x) -> round# s x, round# s s x -> round# x)
     (round# s s x -> round# x, round# s s x -> round# x)}
    STATUS:
     arrows: 0.555556
     SCCS (2):
      Scc:
       {f#(s x, x) -> f#(s x, round s x)}
      Scc:
       {round# s s x -> round# x}
      
      SCC (1):
       Strict:
        {f#(s x, x) -> f#(s x, round s x)}
       Weak:
       {  f(s x, x) -> f(s x, round s 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 s x),
        round s s x -> s s round x,
        round s 0() -> s 0(),
          round 0() -> s 0(),
          round 0() -> 0()}
       Open