WolframAlpha computational knowledge AI
2cos(x)-x