x==Sqrt[2 - Sqrt[2 + Sqrt[2 + x]]]