Polynomial-expansion version of ASBM (verified)