tau-first simplification