WolframAlpha computational knowledge AI
f(x)-1/2f(x/2)=x, f(1)=2