Automatic synthesis of compressor trees: reevaluating large counters