Mathematically, log(b, b^y) = y holds true for any real y. This simplification is implemented for the following cases:i) b is a symbolic (indexed) identifier and y is of type Type::Real, ii) b is numerical and y is integer or rational.
Note that arithmetical rules such as log(b, x*y) = log(b, x) + log(b, y) are not valid throughout the complex plane. Use properties to mark identifiers as real and apply functions such as expand or simplify to manipulate expressions involving log. Cf. example 4.