Key points are not available for this paper at this time.
We introduce a theoretical notion, strongly related to algebraic independence, which can be applied to the terms of any computable expression to derive a lower bound on the number of additions and subtractions required to compute that expression.
David Kirkpatrick (Sat,) studied this question.