more conservative reduction formula
bench 4823220