Formula for C-Reduce