x = sqrt { 1- sqrt{17/16-x} }