WolframAlpha computational knowledge AI
f(2*m)=2*f(m)+2*m, f(1)=1"