added option to specify
rules/optimizations to use in simplify solve and optimize