A program transformation where a composition of two functions is replaced By in-lining them and comBining their Bodies. E.g. f x = g (h x) ==> f x = g (2 * x) g x = x + 1 f x = 2 * x + 1 h x = 2 * x This has the Beneficial effect of reducing the numBer of function calls. It can Be especially useful where the intermediate result is a large data structure which can Be eliminated. See also vertical loop comBination. (1994-12-05)