Simplify square root of x^64