YES

---- CR(R)
---- [Knuth and Bendix, 1970]
R:
s(p(x)) -> x
p(s(x)) -> x
+(x,0()) -> x
+(x,s(y)) -> s(+(x,y))
+(x,p(y)) -> p(+(x,y))
+(0(),y) -> y
+(p(x),y) -> p(+(x,y))
+(s(x),y) -> s(+(x,y))
CP(R):
p(___y3) -> p(___y3)
+(___y8,___y7) -> s(+(___y8,p(___y7)))
+(___y18,___y20) -> s(+(p(___y18),___y20))
s(___y21) -> s(___y21)
+(___y31,___y30) -> p(+(___y31,s(___y30)))
+(___y35,___y37) -> p(+(s(___y35),___y37))
0() -> 0()
p(___y56) -> p(+(___y56,0()))
s(___y59) -> s(+(___y59,0()))
s(+(0(),___y79)) -> s(___y79)
s(+(p(___y83),___y82)) -> p(+(___y83,s(___y82)))
s(+(s(___y87),___y86)) -> s(+(___y87,s(___y86)))
p(+(0(),___y107)) -> p(___y107)
p(+(p(___y111),___y110)) -> p(+(___y111,p(___y110)))
p(+(s(___y115),___y114)) -> s(+(___y115,p(___y114)))
0() -> 0()
s(___y125) -> s(+(0(),___y125))
p(___y128) -> p(+(0(),___y128))
p(+(___y143,0())) -> p(___y143)
p(+(___y146,s(___y149))) -> s(+(p(___y146),___y149))
p(+(___y150,p(___y153))) -> p(+(p(___y150),___y153))
s(+(___y171,0())) -> s(___y171)
s(+(___y174,s(___y177))) -> s(+(s(___y174),___y177))
s(+(___y178,p(___y181))) -> p(+(s(___y178),___y181))