YES

(VAR x2 x1 x0 x y z)
(RULES
  /(x2,/(x1,/(i(x2),x0))) -> /(i(x0),x1)
  /(i(x1),/(x0,/(x1,x2))) -> /(i(x2),x0)
  /(i(x0),/(x1,x0)) -> i(x1)
  i(i(x0)) -> x0
  /(x1,/(x0,i(x1))) -> i(x0)
  /(1(),x0) -> i(x0)
  i(1()) -> 1()
  /(/(x,y),z) -> /(x,/(z,i(y)))
  i(/(x,y)) -> /(y,x)
  /(x,1()) -> x
  /(x,x) -> 1()
)

(COMMENT
Termination is shown by KBO with weight

  w0 = 1
  w(/) = 0
  w(1) = 1
  w(i) = 0

and precedence:

  i > / > 1
)