[boost] [math] Efficient polynomial multiplication