full reduction (tested and benchmarked)