Simplify square root of a^8