[math-fun] Nth roots of tautology