Implement an sm_1x path for noncommutative_reduce