sympy/sympy — pull request #7455 by lennart0901 (2014-04-30 14:52:31+00:00)
Title: Fix naming conflict of automatic symbols in cse

Fixes #5331.

Unfortunately the non-dummy symbol have to be passed explicitly in the tests now for comparison.