Corey's denester <https://community.wolfram.com/groups/-/m/t/980264>? Corey has expressed strong disinterest in maintaining it, and I have found a glitch: In[180]:= Strad[Sqrt[14 Sqrt[2] + 9 Sqrt[5] - Sqrt[721 + 228 Sqrt[10]]]] Out[180]= Sqrt[14 Sqrt[2] + 9 Sqrt[5] - Sqrt[721 + 228 Sqrt[10]]] In[181]:= MapAt[Strad, %, 1] Out[181]= Sqrt[-19 + 14 Sqrt[2] + 9 Sqrt[5] - 6 Sqrt[10]] In[182]:= %% == % Out[182]= True I.e., it sometimes fails to denest the radicand of a triply nested radical. Let me know if you want a copy anyway. (Or grab one from the Wolfram site.) So far as I know, despite all the Galois hype, it's the only package that actually works. —rwg