-- (x + 2)^2 ==> x^2 + 4xy + 4
normaliseExp b (S [P [(I i)]]) =
  foldr1 mergeSOPMul (replicate (fromInteger i) b)
normaliseExp b (S [P [(I i)]]) =
  foldr1 mergeSOPMul (replicate (fromInteger i) b)
normaliseExp b (S [P [(I i)]]) =
  foldr1 mergeSOPMul (replicate (fromInteger i) b)