now actually attempts to solve and display simplified expression