x=sqrt(2+sqrt(2+sqrt(2+sqrt(2+x))))