WolframAlpha computational knowledge AI
sqrt(20-v^2) = -vcotv