This patch addresses the exponential blow-up in the simplifier.
Related merge request !4409 to merge backport-simplifyer-fix
latest
merge request
24 jobs
47 minutes 21 seconds, queued for 2 seconds