https://1library.net/document/q2vrp8py-synthesis-stochastic-logic-perform-multivariate-polynomial-arithmetic.html