perhaps (recursively) we just need to look at the expanded args of a power? I don't know. If we have `(x + y)**1000` then we are still in trouble, but does that have to be expanded in order for the leading term to work? Or `(x*(x + y))**1000` -- can we just expand the base?