2 ms·

> non-monic input costs 1 extra scalar multiplication I guess that's covered