As for tests, we'll need to test both `risch_integrate` and `DifferentialExtension`.  Add a test for `risch_integrate(x**y, y)` (since that apparently wasn't tested, since we didn't notice that it stopped working).