WolframAlpha computational knowledge AI
(t+sqrt(4R^2+t^2))/2 - t/2 = sqrt(R^2+s^2) for s