With Analog Insydes and Mathematica you can analyze circuits not only numerically but also symbolically. Analog Insydes lets you compute symbolic expression for transfer functions, input impedances, two-port parameters, poles and zeros, and many other circuit characteristics in terms of the element parameters.

To cope with the extreme complexity of symbolic calculations Analog Insydes provides advanced symbolic approximation algorithms. By detecting and discarding insignificant terms large expressions or systems of equations can be reduced to simple ones that let you gain more insight into the behavior of your circuits.