 Running an elimination step over formula_2 inequalities can result in at most formula_31 inequalities in the output, thus running formula_34 successive steps can result in at most formula_35, a double exponential complexity.This is due to the algorithm producing many unnecessary constraints (constraints that are implied by other constraints).The number of necessary constraints grows as a single exponential.