For a polynomial f (x) = ₈=₀ⁿ aᵢ xⁱ, we study the double discriminant DD₍, ₊ = disc₀䂵 discₓ f (x), which appears in the proof of the van der Waerden--Bhargava theorem. We conjecture that DD₍, ₊ is the product of a square, a cube, and possibly a linear monomial and we prove this when k=0. We also investigate the (typically large and smooth) outlying integer constant in the factorization of DD₍, ₊.
Anderson et al. (Tue,) studied this question.