WolframAlpha computational knowledge AI
solve [x^2=4^2+5^2-40\cos \alpha, x^2=2^2+3^2+24\cos \alpha]