horner evaluation
merge powersets