Если имеется многочлен вида (x-a0)(x-a1)(x-a2)...(x-an),x-аргмент,
a0,a1..an - константы. То есть ли сполсоб программно разложить его на слагаемые.

Если вы знаете как это может сделать человек (какую последовательность действий нужно выполнить), то это можно сделать и програмно.