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