WithTheCommonPowersOut​(AngouriMath.​Entity,​AngouriMath.​Entity.​Variable)

sum, every term of which is a constant times powers of bases with
x in them, as the product of those bases to the least of each one's
exponents times the sum of what is left, a base missing from a term counted there to the
power 0. Null where a base with an exponent that is not whole is not in every term,
where no exponent of one is the least, or where the least are all whole, which the
rational rules read.