Cancellation and determinant
Yes, cancellations are needed and there are lower bounds for monotone and for non-commutative models where cancellations are impossible.  See discussion in Monotone arithmetic circuits.  A survey of aritmetic circuit complexity can be found in http://www.cs.technion.ac.il/~shpilka/publications/SY10.pdf