Here and below, you can simply write:
```
    print pretty(i), "=", i.doit()
```