I think that perhaps our various Maxima things in simplify_full can't handle power series notation from Pynac, note how +1 so it is taking Order(x^6) as an unknown constant term along with +1. What I would do is truncate the order out first and then do simplifications.