I am the one that made the changes (I have learned since writing the above). In the case of the doctest I was trying to show how 'best' selects the "best" solution. I haven't come up with a simple, *fast* example where significantly different forms are obtained by different methods. So let's leave that doctest as you have it.

The other changes were made in response to "making things work" after the other changes were made, e.g. in 3305c73b265691be4a411971cdbbd8e3 I made changes to simplify -- an area outside of ODE -- and ode solutions started breaking. If I had known more about ODE solutions I would have noticed that something was wrong, but I didn't. I modified the results to match. You noticed the error. What you've essentially done is improve the detection while removing what were wrong classifications. So if you just remove the XFAIL tests this should be ready to go.