Sympy陷入某些方程式

Question

我遇到了sympy（1.3）的一个非常奇怪的问题。例如，如果我使用以下语句来求解此特定方程式，则直到超时它才响应：

from sympy.solvers import solve
from sympy import Eq, symbols

x = symbols('x')    
solve([Eq(x + 3, 3*x)], {x})

但是，如果我稍稍改变方程式，它就可以正常工作。

solve([Eq(x, 3*x)], {x})

如果我使用其他格式，例如删除[]，它也可以正常工作：

solve(Eq(x + 3, 3*x), {x})

我知道格式化输入的方式有很多，但是第一种是我在代码中使用的方式，我不知道为什么会导致问题。