wizoptimizer.c is now on steroids (does full on algebraic reductions
and stuff)...
TODO: actually test and debug this