done poly1_dvdn_expn