Show HN: Adventures in Math with Symbolic Programming (SymPy, Python)