Simplify square root of 5-x