acos

Would be a nice test, but we cannot compute exactly with pi:
equalTrunc 50 PSE.acos (PS.acos (\1 -> 1) (\0 -> pi/2) [0,1])
cosine-1
Arccosine differentiable function.
inverse cosine
acosh with a specified branch cut.