Simplify square root of 16x