dsolve should do its own simplification if `simplify=True` (the default)