Simplify square root of z/64