>Symbolic addition is exactly the wrong kind of problem for this algorithm as the symbols don't have any relationships with each other...

That was my thinkng exactly. I am glad it is confirmed by an expert...