> I can see, that the result is different. But the only fact that it's different - doesn't mean it's wrong.

Yes indeed. But thought to go with the simplified versions of expressions. BTW I have ignored the fact simplification using ```doit()``` as @smichr suggested [here](https://github.com/sympy/sympy/pull/7272/files#r11643596).