This PR solves the following:

 -> Avoids unneccesary coversions of polynomials to expressions
    which eliminates the cause of most of the unification errors
 -> Adds more tests to recognize_derivative in risch.py