Reduced piecewise cases of p1*(c1 ± a) ± p2.

Cianciosa, Markrequested to merge
piecewise_reduction into main

Merge request reports