(Translated by https://www.hiragana.jp/)
[2103.11615] A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation