you can wrap anything withing brackets so the following will help you stay under 80 cols

```
    assert(piecewise_fold(p4) == Piecewise(
        (0, Or(And(Eq(cos(x), 0), x < 0), Not(x < 0))), (1, True)))
```