let monomials = function
  | App(Arith(Add), xl) -> xl
  | x -> [x]