Speedup absorption algorithm

First, eliminate all equivalent terms from the normal form expression
using set magic, then never check for equivalent after that.