Simplify square root of 64x