Improve eta-expansion.