https://9dok.net/document/yevrox2r-highly-automated-formal-verification-of-arithmetic-circuits.html