Спасибо, понятно. Мне интересна алгоритмическая сторона этого дела. Почему-то системы компьютерной алгебры автоматом такие задачи не решают. Исключение составляют вложенные квадратные радикалы, да и то не любые. Например, вот такой

Maple почему-то не упрощает.