fixing power for nonnegative integers

#8560 
I don't think it's a good idea.  Simplify is a slow bunch of heuristics.