WolframAlpha computational knowledge AI
sqrt(v^2-1) - pi - arccos(1/v)