EQUATIONS: 
plus(x,0()) = x
plus(x,s(y())) = s(plus(x,y()))
times(x,0()) = 0()
times(x,s(y())) = plus(times(x,y()),x)
fac(0()) = s(0())
fac(s(x)) = times(s(x),fac(x))

COMPLETE TRS:
RULES:
plus(x,0()) -> x
plus(x,s(y())) -> s(plus(x,y()))
times(x,0()) -> 0()
times(x,s(y())) -> plus(times(x,y()),x)
fac(0()) -> s(0())
fac(s(x)) -> times(s(x),fac(x))

SUCCESS
MaxTRS: 2 
Search time: 0.02 seconds