https://123dok.net/document/zlgp2e6y-analytic-variations-on-the-common-subexpression-problem.html