python solve ode symbolically