simplify the [x5]x4]