AsFactors​(AngouriMath.​Entity)

A denominator written so that a factor shared with another is written alike: a whole
power of a product as the product of its factors' powers, so that
((u - 1) (u + 1))^2 shares u - 1, and each factor inner-simplified, with a
negative number added written as one subtracted anywhere in it, so that u + -1 is
u - 1, which inner simplification leaves as it is, and its operands in canonical
order, so that 1 + u and u + 1 are one factor.