WolframAlpha computational knowledge AI
sqrt(3) * (4/sqrt(3) - sqrt3)