Symbolic Modelling Of Nonlinear Electrical Networks