Reran base.ipynb with patched sympy printing.