FullSimplify[((Sqrt[5] - 1)/(2*2^(1/4)))*Sqrt[Sqrt[2]*5^(1/4) - Sqrt[Sqrt[5] - 1]]]returns
(-13 + 6*Sqrt[5] - 2*Sqrt[85 - 38*Sqrt[5]])^(1/4)What are the steps to show this identity?
Edit: The work of FullSimplify here is just collecting all factors under the square root and multiplying out. But the difficult way is backwards: How to see that the result can be written as a product with a factor
(Sqrt[5] - 1)^2
