Look at any computer algebra system, for exaple sympy (https://sympy.org) and see how they implement it (it's open source).