Чем воспользоваться для решения уравнения?

Попробовал решить с помощью программы на python с использованием библиотеки sympy.
В итоге получилось вот это:
x = 0.166666666666667*(-85.0*c*m*q*y - 85.0*c*q*y - 85.0*e*m*q*y*z - 85.0*e*q*y*z - 120.0*f*m*q*y*z - 120.0*f*q*y*z - 18.0*k*l*m**2*q + 18.0*k*l*m**2*y - 138.0*k*l*m*q + 36.0*k*l*m*y - 120.0*k*l*q + 18.0*k*l*y - 18.0*k*m**2*q + 18.0*k*m**2*y - 138.0*k*m*q + 36.0*k*m*y - 120.0*k*q + 18.0*k*y - 120.0*m*o*q + 18.0*m*o*y - 120.0*m*p*q + 18.0*m*p*y - 110.0*m*q*r*y*z - 18.0*m*q*y*z - 120.0*o*q + 18.0*o*y - 120.0*p*q + 18.0*p*y - 110.0*q*r*y*z + 102.0*q*y*z)/(s*y*(3.0*l*m**2*q - 3.0*l*m**2*y + 23.0*l*m*q - 6.0*l*m*y + 20.0*l*q - 3.0*l*y + 3.0*m**2*q - 3.0*m**2*y + 23.0*m*q - 6.0*m*y + 20.0*q - 3.0*y))

Или:

x = (-14.1666666666667*c*m*q*y - 14.1666666666667*c*q*y - 14.1666666666667*e*m*q*y*z - 14.1666666666667*e*q*y*z - 20.0*f*m*q*y*z - 20.0*f*q*y*z - 3.00000000000001*k*l*m**2*q + 3.00000000000001*k*l*m**2*y - 23.0*k*l*m*q + 6.00000000000001*k*l*m*y - 20.0*k*l*q + 3.00000000000001*k*l*y - 3.00000000000001*k*m**2*q + 3.00000000000001*k*m**2*y - 23.0*k*m*q + 6.00000000000001*k*m*y - 20.0*k*q + 3.00000000000001*k*y - 20.0*m*o*q + 3.00000000000001*m*o*y - 20.0*m*p*q + 3.00000000000001*m*p*y - 18.3333333333334*m*q*r*y*z - 3.00000000000001*m*q*y*z - 20.0*o*q + 3.00000000000001*o*y - 20.0*p*q + 3.00000000000001*p*y - 18.3333333333334*q*r*y*z + 17.0*q*y*z)/(s*y*(3.0*l*m**2*q - 3.0*l*m**2*y + 23.0*l*m*q - 6.0*l*m*y + 20.0*l*q - 3.0*l*y + 3.0*m**2*q - 3.0*m**2*y + 23.0*m*q - 6.0*m*y + 20.0*q - 3.0*y)) < ------- это версия после попытки упрощения