"Simplification of unnested radicals" - читать интересную книгу автора (Caviness, Fateman.)