BTW, there seems to be some issue with the O object. Naively, I would expect the two commands that follow to give the same output, but that is not the case.

In [4]: O(x) + O(x*log(x))
Out[4]: O(x⋅log(x))

In [5]: O(x*log(x) + x)
Out[5]: O(x⋅(log(x) + 1))

I only noticed this because I was trying to get the right form of the O(...) terms on the RHS of the tests.

Originally posted by @Kishore96in in #25644comments