WolframAlpha computational knowledge AI
(17/12)-sqrt(2)