Symbolic Analysis of Complex Circuit Models