simplify, then simplify, then simplify, then ...