simplifly X^1 (X^7/8) (X^1/8)