```
In [1]: Integral(posify(1/x+y)[0],(y,1,3)).expand()
Out[1]:
3              
⌠        3     
⎮ 1      ⌠     
⎮ ─ dy + ⎮ y dy
⎮ x      ⌡     
⌡        1     
1 
```