sop-core-0.5.0.0: True Sums of Products