Circuit Decomposition