There is no good reason for it to be expanding the wole
thing when there is a non-trivial gcd. At worst, it could
give the result in the form:
Then again, there doesn't seem to be any equivalent of
rootscontract for *integral* powers. How do you simplify
without using factor (which in general of course is much
more expensive than GCD)?