Hi,
I found a strange issue:
ex = (arctan(1/2) + arcsin(sqrt(5)/5) == arctan(4/3))
bool(ex)
And it gives False.
A simple numeric approximation allows to see that it's true, and wolfram alpha for instance gives the correct answer that is true: http://www.wolframalpha.com/input/?i=arctan(1%2F2)+%2B+arcsin(sqrt(5)%2F5)+%3D%3D+arctan(4%2F3)&t=ff3tb01 But why is it like that and how can I fix it?
Thanks