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.
and
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.
So you could possibly use
simplify(exp(log(10,x))) assuming x::real
