WolframAlpha computational knowledge AI
solve ((1/(1 - (v/c)^2)^(1/2)) - 1)*m*c^2 = E_1 for v