WolframAlpha computational knowledge AI
asin(k/(1+k)) + acos(1/(1+k)) = pi/3