((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?