This is the test here. If you try the same, without assuming that `y` is positive, you will get the `Piecewise` result. (maybe I should add that test as well)