x=Sqrt[7+Sqrt[7-x]]