(VAR x )
(RULES 
        half(0) -> 0
        half(s(s(x))) -> s(half(x))
        log(s(0)) -> 0
        log(s(s(x))) -> s(log(s(half(x))))
        rand(x) ->= x
        rand(x) ->= rand(s(x))
)