It is known that the size of monotone arithmetic (+,\ast) circuits can be exponentially decreased by allowing just one division "at the very end," at the output gate. A natural question is: can the size of (+,\ast) circuits be substantially reduced if we allow divisions "at the very beginning," that ... more >>>