Am curious to know how "simpler" is defined.
--Dan
On May 2, 2014, at 6:41 PM, Bill Gosper <billgosper@gmail.com> wrote:
. . . a radical denester which simplifies
(1 + 3*Sqrt[5] - 2*Sqrt[10 + 2*Sqrt[5]])^(1/4)
. . . to
√(Sqrt[2] 5^(1/4) - Sqrt[1 + Sqrt[5]])
|. . .
