NOTE: Simplifier still going after 4 iterations; bailing out.