I forgot to call piecewise_fold, but it still fail.
I don't think == or anything else automatically uses piecewise_fold.
p2 - p3 doesn't simplify.
This fails because of lake of simplification.
I'm working on this.