do additional simplifications