((sqrt(x)/(x+1))^n * (x+1)^n).simplify_full () returns the given expression as-is, but evidently it should be simplified to sqrt(x)^n. Sage indeed does this if the x+1 is replaced by x (illustrating that sage isn't worried about division by zero, but it's something else). Is there a way to have sage simplify this?