assuming that 3-arg piecewise with 3rd op = 0 does not occur is a mistake.  Simplify that too.
assuming that 3-arg piecewise with 3rd op = 0 does not occur is a mistake.  Simplify that too.

zaxtax/hakaru,zachsully/hakaru,zaxtax/hakaru,zachsully/hakaru