EQUATIONS: 
eq(x,x) = true_()
eq(nil(),end(y,z)) = false_()
eq(end(x,y),nil()) = false_()
eq(end(x,y),end(u,v)) = and_(eq(y,v),eq(x,u))
f(x,nil()) = end(nil(),x)
f(x,end(y,z)) = end(f(x,y),z)
cons(nil(),y) = y
cons(end(x,y),z) = cons(x,f(y,z))
null(nil()) = true_()
null(end(x,y)) = false_()

COMPLETE TRS:
RULES:
eq(x,x) -> null(nil())
eq(nil(),end(y,z)) -> false_()
eq(end(x,y),nil()) -> false_()
eq(end(x,y),end(u,v)) -> and_(eq(y,v),eq(x,u))
f(x,nil()) -> end(nil(),x)
f(x,end(y,z)) -> end(f(x,y),z)
cons(nil(),y) -> y
cons(end(x,y),z) -> cons(x,f(y,z))
null(end(x,y)) -> false_()
and_(null(nil()),null(nil())) -> null(nil())
true_() -> null(nil())

SUCCESS
MaxTRS: 3 
Search time: 1.34 seconds