ParaSimp performance improved by doing both Fast and M simplification in
parallel. A sum is done in serial in the middle for possible
cancellations.