Use
PowerExpand to disregard multivaluedness of the
ArcCos:
Use
TrigToExp to express
ArcCos through logarithms and square roots:
This shows the branch cuts of the
ArcCos function:
ArcCos is automatically returned as a special case for various mathematical functions: