added support for
inner-product in simplification and solving