There is a typo in this line: write ``expr == Mul(3, y**2, x)`` instead of ``expr == Mul(2, y**2, x)``