Fix for #224: Fractional radical simplification

Fix for issue #224.
The only difference between these two is that now it assumes that `p` is already in canonical form for `Pow`. It's always better to use the latter (current) approach, because then the construction is very fast, rather than calling `pow`. If tests pass, then this is the way to go. However, what prompted you to do this change? I am just curious.