Parallel decomposition for numeric expressions using expresso and core.logic