Add eta-expansion.