tics around logx

OK, in this example we see that newly introduced log(x) terms are replaced. But again, the idea of logx seems to be to replace any occurances of log(x) -- current, or introduced during expansion -- with a symbolic value (which is ignored for the rest of the expansion?).