try return a factored expr more often from simplify
denest powers in powsimp so 4**s*2**(x-2*s) -> 2**x

Should this only be done if the base is a Number?
allow factors of coeff to enter powers
keep expr as option before powsimp