- (((y[12] ? (x ) : 0) +
- (y[11] ? (x >> 1) : 0) +
- (y[10] ? (x >> 2) : 0)) +
- (((y[9] ? (x >> 3) : 0) +
- (y[8] ? (x >> 4) : 0)) +
- ((y[7] ? (x >> 5) : 0) +
- (y[6] ? (x >> 6) : 0))))+
- (((y[5] ? (x >> 7) : 0) +
- (y[4] ? (x >> 8) : 0) +
- (y[3] ? (x >> 9) : 0)) +
- ((y[2] ? (x >> 10): 0) +
- (y[1] ? (x >> 11): 0) +
- (y[0] ? (x >> 12): 0)));
+ (((y[12] ? (x ) : 0) +
+ (y[11] ? (x[12:1]) : 0) +
+ (y[10] ? (x[12:2]) : 0)) +
+ (((y[9] ? (x[12:3]) : 0) +
+ (y[8] ? (x[12:4]) : 0)) +
+ ((y[7] ? (x[12:5]) : 0) +
+ (y[6] ? (x[12:6]) : 0))))+
+ (((y[5] ? (x[12:7]) : 0) +
+ (y[4] ? (x[12:8]) : 0) +
+ (y[3] ? (x[12:9]) : 0)) +
+ ((y[2] ? (x[12:10]): 0) +
+ (y[1] ? (x[12:11]): 0) +
+ (y[0] ? (x[12]): 0)));