Bug in simplifying trig expressions

[Stevetuc]

(09-01-2018 05:11 AM)Carsen Wrote:  

(09-01-2018 02:22 AM)Magnus512 Wrote:  There is an error, the calculator says that this is not equal, when I run the same in wolfram it says that it is equal.

When you submit the test into the Prime, read the terminal that pops up. I've attached the terminal to this post. Note the "Therefore a==b may return false even if a and b are mathematically equal".

It would be much more robust if the prime would check for mathematically equal but different representations and apply
simplify(a-b)==0 itself if need be.