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