Efficient DDD-Based Interpretable Symbolic Characterization of Large Analog Circuits