[math-fun] count of terms in cyclotomic polynomial