Title: A novel term rewriting strategy for certain hierarchical AC-algebraic systems