Simplify square root of 32x