[627615 39390 588225 393900588225]
Root ← ⍢(/+⊥₁₀⊙+₁|>10)⊙0
≡(&p$"_:  \tdigital root = _, additive persistence = _"⟜Root)