WolframAlpha computational knowledge AI
sqrt(3)/2 - 6/7