Consider balancing sums

[jellevos]

While it does not reduce the multiplicative depth, it leads to circuits that are both easier to study visually and potentially slightly faster if executed using multiple threads.