experiments with symbolic circuit manipulation