Sympy - 将等效表达式与等号（=）进行比较

I understand that in Sympy, the == equivalence does not work for symbolic expressions and hence cannot be used to check for symbolic equivalence. From the documentations, it is recommended to use I understand that in Sympy, the == equivalence