x=sqrt(4+sqrt(4+sqrt(4-sqrt(4-x))))