reduce ---> symbolic