IME: 4-TERM FORMULA METHOD FOR THE SYMBOLIC ANALYSIS OF LINEAR CIRCUITS