Ruiz A. Arithmetic and Algebraic Circuits 2021