Hi,
floor(log(4) / log(2));
Evaluation took 0.21 seconds (0.24 elapsed) using 3.675 MB.
(%o141) 1
I don't find that very impressive.
Furthermore, I couldn't find any simplification rule which
would yield log(4) / log(2) = 2 ??
I would assume that some rule does know that.
What seems to me absolutely indispensable is
a general "simplify"-function, which in some reasonable
way applies *all* simplification rules (without fear
that it takes a bit longer --- finding out about
such errors etc. takes much longer :-().
Oliver