Add/test an optimization reduce some expressions to non-symbolic