Dear all, I made log(exp(Pi)) evaluate to Pi. For this purpose I made the constructor of a constant take an optional flag to indicate the domain. I also cleaned up the code of that takes care of this simplification a bit. IMO it makes not so much sense to test here whether the x in log(exp(x)) is a symbol, constant or numeric. One can simply ask to x whether it is real. Best, Chris