为什么sympy.simplify会改变随机状态

Question

以下测试失败：

def test_sympy_simplify():
    import sympy
    import random
    random.seed(42)
    state = random.getstate()
    expr = "sin(x)**2 + cos(x)**2"
    sympy.simplify(expr)
    assert state == random.getstate()

为什么这会失败？为什么简化需要随机？该代码片段的多次运行之间的状态变化似乎也有所不同。