为何SymPy无法正确判定简单平方根表达式的恒等性？

即便它能正确判断两边的不等式关系，却无法判定表达式的恒等性。

from sympy import *
assert not 2 * sqrt(2 - sqrt(3)) == -sqrt(2) + sqrt(6)
assert 2 * sqrt(2 - sqrt(3)) <= -sqrt(2) + sqrt(6)
assert 2 * sqrt(2 - sqrt(3)) >= -sqrt(2) + sqrt(6)

assert not 2 * sqrt(2 - sqrt(3)) == sqrt(8 - 4 * sqrt(3))
assert 2 * sqrt(2 - sqrt(3)) <= sqrt(8 - 4 * sqrt(3))
assert 2 * sqrt(2 - sqrt(3)) >= sqrt(8 - 4 * sqrt(3))

内容的提问来源于stack exchange，提问作者YouJiacheng