I am wondering if it is possible to use the symbolical capabilities of symbolic python in such a way that given a multivariate polynomial, it factorizes the polynomial in order to use Estrin's scheme. I expect have some profit from it because the terms in the factorized polynomial could be evaluated using fused multiply-add (FMA).
For one polynomial the factorization can be performed by hand of course, but the task become enormous for a long list of polynomial as indeed is my case.
Perhaps something like this: