simple addition and multiplication evaluator
recursive powerset calculation
overlap simplification