Text this: Discrete circuit optimization