Describir: Discrete circuit optimization