I was following the tutorial at SymPy site on how to solve differential equations, and started with the classic case of finding a function that equals its own derivative, as shown bellow: