MAYBE
Time: 0.005385
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()}
  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)}
   SCCS (2):
    Scc:
     {round# s s x -> round# x}
    Scc:
     {f#(s x, x) -> f#(s x, round s x)}
    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()}
     SPSC:
      Simple Projection:
       pi(round#) = 0
      Strict:
       {}
      Qed
    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()}
     Fail