В пакетах Derive встроены операторы расчленения выражений (декомпозиция). К наиболее важным из них можно отнести операторы выделения правой RHS(u) или левой LHS(u) функции, из выражения, в котором функции связаны знаком отношения.
Если u:=f(x)?g(y), то первый оператор возвратит значение g(y), а второй – f(x). Здесь символ отношения 
.
hs := [x = 0, y = -1, z = 2];
LHS(hs)` - RHS(hs)` [x, y + 1, z - 2].
Декомпозиция выражений, представленных алгебраической суммой, осуществляется встроенным оператором TERMS(*), который возвращает вектор с числом компонент, равных числу слагаемых со своими знаками:
TERMS(x^3 - 7*x^2 + 15*x - 25) [x^3, - 7*x^2, 15*x, -25].
Остальные операторы декомпозиций приведены в разделе Halp, куда можно попасть, указав в закладке Index имя любого из уже упомянутых выше операторов.
