first and then simplify them