pull out the independent weight outside of the control piecewise (but not the Int, even though one could; this actually leads to fewer simplifications later on.)
pull out the independent weight outside of the control piecewise (but not the Int, even though one could; this actually leads to fewer simplifications later on.)

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