Try to simplify logarithms of algebraic constants.
Authored by: whebisch 2010-05-31
Parent: [r864]
Child: [r866]