solving electronic circuits symbolically in maxima CAS