Evaluate square root of x+7-x=1