(VAR f g h l t x y )
(RULES 
        app(app(max,0),x) -> x
        app(app(max,x),0) -> x
        app(app(max,app(s,x)),app(s,y)) -> app(app(max,x),y)
        app(app(min,0),x) -> 0
        app(app(min,x),0) -> 0
        app(app(min,app(s,x)),app(s,y)) -> app(app(min,x),y)
        app(app(app(app(insert,f),g),nil),x) -> app(app(cons,x),nil)
        app(app(app(app(insert,f),g),app(app(cons,h),t)),x) -> app(app(cons,app(app(f,x),h)),app(app(app(app(insert,f),g),t),app(app(g,x),h)))
        app(app(app(sort,f),g),nil) -> nil
        app(app(app(sort,f),g),app(app(cons,h),t)) -> app(app(app(app(insert,f),g),app(app(app(sort,f),g),t)),h)
        app(ascending_sort,l) -> app(app(app(sort,min),max),l)
        app(descending_sort,l) -> app(app(app(sort,max),min),l)
        
)