YES

1 decompositions
 #1 -----------
   1: *(x1,*(x2,x3)) -> *(*(x1,x2),x3)
   2: *(*(x1,x2),x3) -> *(x1,*(x2,x3))
   3: eq(*(a(),x1),*(x2,a())) -> eq(x1,x2)
   4: eq(a(),a()) -> T()
   5: eq(a(),*(x1,x2)) -> F()
   6: eq(x1,x2) -> eq(x2,x1)

@Jouannaud and Kirchner's criterion
--- R
   1: *(x1,*(x2,x3)) -> *(*(x1,x2),x3)
   2: *(*(x1,x2),x3) -> *(x1,*(x2,x3))
   3: eq(*(a(),x1),*(x2,a())) -> eq(x1,x2)
   4: eq(a(),a()) -> T()
   5: eq(a(),*(x1,x2)) -> F()
   6: eq(x1,x2) -> eq(x2,x1)

--- S
   1: *(x1,*(x2,x3)) -> *(*(x1,x2),x3)
   2: *(*(x1,x2),x3) -> *(x1,*(x2,x3))
   3: eq(*(a(),x1),*(x2,a())) -> eq(x1,x2)
   4: eq(a(),a()) -> T()
   5: eq(a(),*(x1,x2)) -> F()
   6: eq(x1,x2) -> eq(x2,x1)