Алгебраическое упрощение квадратных корней

Я хотел бы упростить квадратный корень из целого числа алгебраически, а не вычислять его численно, т.е. √800 должно быть 20√2 , а не 28,2842712474619 .

Я не могу найти способ решить это с помощью программирования:(