; (6x + 7)[2:1] = NOT x

(= {bitsel {bitplus @4 [bitvec 2 x] x x x x x {bitconst 1 1 1}} 2 1}
{bitnot x})