chore(ring_theory/polynomial): squeeze a `simpa` (#18524)
This turns the tactic execution time from over 18s to under 700ms on my machine.
Zulip thread: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Timeout.20in.20ring_theory.2Epolynomial.2Ebasic
