Is there a way to check if two expressions are mathematically equal? I expected tg(x)cos(x) == sin(x) to output True, but it outputs False. Is there a way to make such comparisons with SymPy? Another example is (a+b)**2 == a**2 + 2*a*b + b**2, which surprisingly also outputs False. I found some similar questions, but none covered this exact problem. Continue reading...