Frequency domain analysis of DC-DC converters using a symbolic approach