An \emph{arithmetic read-once formula} (ROF for short) is a formula (a circuit whose underlying graph is a tree) in which the operations are $\{+,\times\}$ and such that every input variable labels at most one leaf. A \emph{preprocessed ROF} (PROF for short) is a ROF in which we are allowed to ...
more >>>