33. The computer-readable volatile or non-volatile medium of claim 32 , wherein: the first set of formulas includes a first formula and the rewritten set of formulas does not include the first formula; and the instructions that cause performance of the step of rewriting include instructions which, when executed by the one or more processors, cause pruning said first formula from said first set of formulas.
33. The computer-readable volatile or non-volatile medium of claim 32 , wherein: the first set of formulas includes a first formula and the rewritten set of formulas does not include the first formula; and the instructions that cause performance of the step of rewriting include instructions which, when executed by the one or more processors, cause pruning said first formula from said first set of formulas. 37. The computer-readable volatile or non-volatile medium of claim 33 , wherein the one or more sequences of instructions include instructions which, when executed by the one or more processors, cause performance of the steps of: generating a graph with nodes and an edge between at least one pair of nodes of said nodes, wherein the edge represents a dependency between the formulas that correspond to the at least one pair of nodes; and pruning, based on said graph, formulas from said first set of formulas.