We change apply algorithm to use cache. Problem it does NOT uses H cache of the BDDs, we need to change that, but not today.
We try to simplify the formulas. We fail...