Symbolic Circuit Analysis