PowerExpand

PowerExpand[expr]
expands out powers of the form (x^y)^z and (x*y)^z in expr.

PowerExpand is not correct without certain assumptions: