Symbolic Analysis of Large Analog Integrated Circuits by Approximation During Expression Generation