Simplify square root of a^10