YES

TRS:

  *(x,*(y,z)) -> *(*(x,y),z)
  *(x,x) -> x

max/plus interpretations on N:

  *_A(x1,x2) = max{3, x1, 4 + x2}
  *#_A(x1,x2) = max{0, -1, -2 + x2}

precedence:

    empty