Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Rather surprisingly, acos(cos(x)) doesn't simplify to x.
Probably because acos(cos(100)) is not 100.
Set triginverses:all to get this simplification. (It took me a while to find the triginverses flag.)
Duh, stupid me. Thanks for explaining (and pointing out the magic option!)