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(),0()) -> 0()
-(x,s(y)) -> p(-(x,y))
-(x,p(y)) -> s(-(x,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)))
-(___y15,___y14) -> p(-(___y15,p(___y14)))
-(___y23,___y25) -> s(-(p(___y23),___y25))
s(___y26) -> s(___y26)
+(___y36,___y35) -> p(+(___y36,s(___y35)))
-(___y43,___y42) -> s(-(___y43,s(___y42)))
-(___y45,___y47) -> p(-(s(___y45),___y47))
p(-(p(___y190),___y189)) -> p(-(___y190,s(___y189)))
p(-(s(___y194),___y193)) -> s(-(___y194,s(___y193)))
s(-(p(___y225),___y224)) -> p(-(___y225,p(___y224)))
s(-(s(___y229),___y228)) -> s(-(___y229,p(___y228)))
p(-(___y250,s(___y253))) -> p(-(p(___y250),___y253))
p(-(___y254,p(___y257))) -> s(-(p(___y254),___y257))
s(-(___y285,s(___y288))) -> p(-(s(___y285),___y288))
s(-(___y289,p(___y292))) -> s(-(s(___y289),___y292))