Simplify square root of 32y^12