let fold_constants = Reduce.reduce_expression