simplify paths with assumptions