This is convoluted. All it really does is combine the square roots. It would be simpler to say `powsimp(combine='base')`, or even more explicitly, something like "convert `sqrt(a)*sqrt(b)` to `sqrt(a*b)` and apply sqrtdenest".