time_circuit: forgot to add new symbols