Simplify square root of a^7