CIRCUIT NP-REDUCE