How can I get Mathematica to simplify the following expression?
Pi-ArcCos[-1/Sqrt[3]]
I'd like the answer to be ArcCos[1/Sqrt[3]], which seems manifestly "simpler" to me. If I use Simplify, it leaves it as it is. A related question is: howcome
Pi-ArcCos[-1/Sqrt[3]]==ArcCos[1/Sqrt[3]]
does not return True or False, but rather returns back the same expression?
FullSimplify[Pi - ArcCos[-1/Sqrt[3]] - ArcCos[1/Sqrt[3]]]
performs0
. $\endgroup$