A toolbox for the symbolic analysis and simulation of linear analog circuits