Factoring updates (deeper trial, stack depth reduction)