fixed subnumber evaluation (upper bound of two-power-sized subset of eta decomposition excluded now)