if i get that specification right, chromatic's code doesn't work if there are negated elements that can't be reduced whitin the expression...
for example, on input (a-b)(-a-b) the result would be nothing at all, and not (-b).

yt, snowcrash