Arithmetic Regularity Lemma Requires a Formal Structured-Factor Model