Simplify seventh root of 128