### Is it possible to ask sage check symbolic equality by comparing parts within equations?

So I have a case with two complicated equations, when substitutes with certain parameters, those two functions equal each other. I know that sage is capable on comparing simple equations like `2*x+4==2*x+4 and print(True)`

could print `True`

properly, but when functions grow more complicate, it couldn't.

But when I call `show()`

on my functions that sage return to me after symbolic substitution, they're identical, like everything. Which makes me wonder since everything are exactly the same, why sage couldn't properly evaluate equality? And is there any way I could hack around it? Perhaps like breaking them into small parts and ensure each parts are identical?