Describir: Adaptive Planning Search Algorithm for Analog Circuit Verification