7X-(-2X 1)-(8X-1)