Replace reduce by $SYMBOLIC